sitelogo
co_get/2

制約変数の現在の制約を復帰します。

co_get(+Var, -Constraint)

co_get(+Var、-Constraint)は、制約変数と関連する現在の制約を復帰します。

"Var"が制約変数でないならば、述語は失敗します。

例題

例題は、例題プログラムのセクションを参照します。

規格

この述語は、ISO-Prolog Standardの要件ではありません。

以下も参照して下さい

co_add/2 co_get/2 co_merge/2 co_check/2 Constraints


戻る 続く..
冒頭へ managed with ubiCMS