[eclipse-clp-users] bb_min and C

From: Bogdan Tanasa <g-bogta_at_ida.liu.se>
Date: Thu, 24 Nov 2011 18:36:46 +0100
Hi,

 

I am trying to call bb_min from C.

I am doing something like this:

 

search = ec_term(ec_did("search", 6), 

                            varList, 

                            ec_long(0), 

                            ec_atom(ec_did("most_constrained", 0)),

                            ec_atom(ec_did("indomain", 0)),

                            ec_atom(ec_did("complete", 0)),

                            ec_nil()

                            );

 

                     bb_min = ec_term(ec_did("bb_min", 3), 

                            search, 

                            objFunc, 

                            ec_atom(ec_did("bb_options{strategy:continue}",
0)));

                     ec_post_goal(ec_term(ec_did("writeln", 1), bb_min));

                     ec_post_goal(bb_min);

 

I get the following error from CLP: 

 

type error in 

bb_min(

search([_49506{[0, 1]}, _49524{[0, 1]}, _49542{[0, 1]}, _49560{[0, 1]}], 0,
most_constrained, indomain, complete, []), 1.0 * _49506 + 1.0 *  _49524 +
1.0 * _49542 + 1.0 * _49560, 

'bb_options{strategy:continue}') in module eclipse

 

The problem is passing the bb_options arguments.

Can you please tell me how to fix it?

 

Bogdan.
Received on Thu Nov 24 2011 - 17:36:55 CET

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET