enum ORTools::Sat::DecisionStrategyProto::VariableSelectionStrategy

Defined in:

ortools-sat/connector/cp_model.pb.cr

Enum Members

CHOOSEFIRST = 0
CHOOSELOWESTMIN = 1
CHOOSEHIGHESTMAX = 2
CHOOSEMINDOMAINSIZE = 3
CHOOSEMAXDOMAINSIZE = 4

Instance Method Summary

Instance Method Detail

def choosefirst? #

Returns true if this enum value equals CHOOSEFIRST


[View source]
def choosehighestmax? #

Returns true if this enum value equals CHOOSEHIGHESTMAX


[View source]
def chooselowestmin? #

Returns true if this enum value equals CHOOSELOWESTMIN


[View source]
def choosemaxdomainsize? #

Returns true if this enum value equals CHOOSEMAXDOMAINSIZE


[View source]
def choosemindomainsize? #

Returns true if this enum value equals CHOOSEMINDOMAINSIZE


[View source]