class

ORTools::Sat::IntVar

Inherits Reference < Object

The base variable used in Constraing Programming (CP) problems.

This variable should not be instantiated directly, but created with Model#new_int_var

Constructors

new(index : Int32)
Source

Class methods

zero

Required to allow Array#sum of IntVar variables to be summed into a LinearExpression

Source

Instance methods

!=(other : Expressible)
Source
+(other : Expressible)
Source
-(other : Expressible)
Source
-

Negative index -1 is used to represent the negation of a variable in the model In the Case of IntVar, this will mean the negative of the variable In the case of BoolVar, this will mean the logical NOT of the variable These are used to simplify model constraints and for model efficiency

Source
<(other : Expressible)
Source
<=(other : Expressible)
Source
==(other : Expressible)
Source
>(other : Expressible)
Source
>=(other : Expressible)
Source
index
Source
to_lexpr
Source