ordering(+Spec) is det

Specify the preferred variable ordering of answer constraints. A variable that comes first in Spec is the one the answer constraint defines, i.e. the one on its left hand side. Spec is either a list of variables or a term A<B or A>B. As ordering/1 interns variables the solver does not know yet, it may be stated before or after the constraints it talks about.

Re-exported predicates

The following predicates are exported from this file while their implementation is defined in imported modules or non-module files loaded by this module.

 dump(+Target, -NewVars, -Constraints) is det

Returns in Constraints, the constraints that currently hold on Target where all variables in Target are copied to new variables in NewVars and the constraints are given on these new variables. In short, you can safely manipulate NewVars and Constraints without changing the constraints on Target.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 maximize(Arg1)

 minimize(Arg1)

 bb_inf(Arg1, Arg2, Arg3, Arg4)

 {Arg1}

 clp_type(Arg1, Arg2)

 inf(Arg1, Arg2, Arg3, Arg4)

 bb_inf(Arg1, Arg2, Arg3)

 sup(Arg1, Arg2, Arg3, Arg4)

 sup(Arg1, Arg2)

 entailed(Arg1)

 inf(Arg1, Arg2)