| |||||||||||
| 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.
ExamplesFor examples please refer to the section ExamplePrograms.
StandardThis predicate is not part of the ISO-Prolog Standard.
See alsoco_add/2 co_get/2 co_merge/2 co_check/2 Constraints | |||||||||||
| |||||||||||
| Back> |
|