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

#stratificationascent?
#stratificationdescent?
#stratificationnone?

Instance Method Detail

def stratificationascent? #

[View source]

def stratificationdescent? #

[View source]

def stratificationnone? #

[View source]