enum OperationsResearch::Sat::SatParameters::MaxSatStratificationAlgorithm

Defined in:

ortools-sat/connector/sat_parameters.pb.cr

Enum Members

STRATIFICATIONNONE = 0
STRATIFICATIONDESCENT = 1
STRATIFICATIONASCENT = 2

Instance Method Summary

Instance Method Detail

def stratificationascent? #

Returns true if this enum value equals STRATIFICATIONASCENT


[View source]
def stratificationdescent? #

Returns true if this enum value equals STRATIFICATIONDESCENT


[View source]
def stratificationnone? #

Returns true if this enum value equals STRATIFICATIONNONE


[View source]