Did you know ... Search Documentation:
clpr.pl
PublicShow source

Re-exported predicates

The following predicates are re-exported from other modules

Source 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.

Source clp_type(Arg1, Arg2)
Source bb_inf(Arg1, Arg2, Arg3)
Source ordering(Arg1)
Source entailed(Arg1)
Source sup(Arg1, Arg2)
Source inf(Arg1, Arg2)
Source inf(Arg1, Arg2, Arg3, Arg4)
Source sup(Arg1, Arg2, Arg3, Arg4)
Source minimize(Arg1)
Source maximize(Arg1)
Source bb_inf(Arg1, Arg2, Arg3, Arg4, Arg5)
Source {Arg1}