Did you know ... Search Documentation:
Pack clpcd -- prolog/clpcd/dump.pl
PublicShow 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.