IF Computer > MINERVA > Manual > Reference > Predicates > Constraints > co_get/2

co_get/2

MINERVA
ifcomputer logo
f
Expert Services on the Web

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

document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/Constraints/co_get/print_de.html
published 2008/11/17 update 2002/3/19 (c) 1996-2006 IF Computer Japan
IF Computer 5-28-2 Sendagi, Bunkyo-ku Tel +81-3-5814-3352 start (AT) ifcomputer.com
Customer Support Tokyo 113-0022 Japan   http://www.ifcomputer.com
Back> managed with ubiCMS