Did you know ... Search Documentation:
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 sup(Arg1, Arg2, Arg3, Arg4)
Source ordering(Arg1)
Source entailed(Arg1)
Source clp_type(Arg1, Arg2)
Source bb_inf(Arg1, Arg2, Arg3)
Source bb_inf(Arg1, Arg2, Arg3, Arg4, Arg5)
Source sup(Arg1, Arg2)
Source maximize(Arg1)
Source minimize(Arg1)
Source inf(Arg1, Arg2)
Source {Arg1}
Source inf(Arg1, Arg2, Arg3, Arg4)