制約変数の現在の制約を復帰します。...
移動
次へ
前へ
上へ
最上
参考
co_add/2
co_get/2
co_merge/2
co_check/2
イフコンピュータ
>
MINERVA
>
マニュアル
>
レファレンス
>
述語
>
制約処理
> co_get/2
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