enum OperationsResearch::Sat::SatParameters::SharedTreeSplitStrategy

Defined in:

ortools-sat/connector/sat_parameters.pb.cr

Enum Members

SPLITSTRATEGYAUTO = 0
SPLITSTRATEGYDISCREPANCY = 1
SPLITSTRATEGYOBJECTIVELB = 2
SPLITSTRATEGYBALANCEDTREE = 3
SPLITSTRATEGYFIRSTPROPOSAL = 4

Instance Method Summary

Instance Method Detail

def splitstrategyauto? #

Returns true if this enum value equals SPLITSTRATEGYAUTO


[View source]
def splitstrategybalancedtree? #

Returns true if this enum value equals SPLITSTRATEGYBALANCEDTREE


[View source]
def splitstrategydiscrepancy? #

Returns true if this enum value equals SPLITSTRATEGYDISCREPANCY


[View source]
def splitstrategyfirstproposal? #

Returns true if this enum value equals SPLITSTRATEGYFIRSTPROPOSAL


[View source]
def splitstrategyobjectivelb? #

Returns true if this enum value equals SPLITSTRATEGYOBJECTIVELB


[View source]