co_get/2

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

Darueber read on...