| Returns the current constraint of a constraint variable.
co_get(+Var, -Constraint)
co_get(+Var, -Constraint) returns the current constraint associated with
a constraint variable.
If "Var" is not a constraint variable, then the predicate fails.
Examples
For examples please refer to the section ExamplePrograms.
Standard
This predicate is not part of the ISO-Prolog Standard.
See also
co_add/2
co_get/2
co_merge/2
co_check/2
Constraints
|