enum ORTools::Sat::DecisionStrategyProto::DomainReductionStrategy

Defined in:

ortools-sat/connector/cp_model.pb.cr

Enum Members

SELECTMINVALUE = 0
SELECTMAXVALUE = 1
SELECTLOWERHALF = 2
SELECTUPPERHALF = 3
SELECTMEDIANVALUE = 4

Instance Method Summary

Instance Method Detail

def selectlowerhalf? #

Returns true if this enum value equals SELECTLOWERHALF


[View source]
def selectmaxvalue? #

Returns true if this enum value equals SELECTMAXVALUE


[View source]
def selectmedianvalue? #

Returns true if this enum value equals SELECTMEDIANVALUE


[View source]
def selectminvalue? #

Returns true if this enum value equals SELECTMINVALUE


[View source]
def selectupperhalf? #

Returns true if this enum value equals SELECTUPPERHALF


[View source]