6.4 整数変数クラスIntegerVariable
wcsp使用時には,0-1整数変数のみ利用が可能です.即ちIntegerVariable
を利用する際には,必ず引数にtype=binary
を付ける必要があります.通常の整数変数を用いることはできません.通常の整数変数を利用したい場合は,離散変数DiscreteVariable
を用いて記述する必要があります.例えば,を満たす整数変数を定めたい場合,通常の数理最適化モデルでは次のように記述します.
IntegerVariable x; 1 <= x <= 10;
一方,離散変数を用いた場合,以下のような記述になります.
Set S = "1 .. 10"; DiscreteVariable x(dom = S);
上に戻る