class

ORTools::Sat::ValidSolution

Inherits ORTools::Sat::Solution < Reference < Object

Class should only contain solutions deemed valid

Instance methods

objective_value

Returns the value of the objective function if found

Source
true?(bool_var : BoolVar) : Bool
Source
value(int_var : BoolVar) : Int64
Source
value(int_var : IntVar) : Int64
Source