enum OperationsResearch::Sat::SatParameters::SearchBranching

Defined in:

ortools-sat/connector/sat_parameters.pb.cr

Enum Members

AUTOMATICSEARCH = 0
FIXEDSEARCH = 1
PORTFOLIOSEARCH = 2
LPSEARCH = 3
PSEUDOCOSTSEARCH = 4
PORTFOLIOWITHQUICKRESTARTSEARCH = 5
HINTSEARCH = 6
PARTIALFIXEDSEARCH = 7
RANDOMIZEDSEARCH = 8

Instance Method Summary

Instance Method Detail

def automaticsearch? #

Returns true if this enum value equals AUTOMATICSEARCH


[View source]
def fixedsearch? #

Returns true if this enum value equals FIXEDSEARCH


[View source]
def hintsearch? #

Returns true if this enum value equals HINTSEARCH


[View source]
def lpsearch? #

Returns true if this enum value equals LPSEARCH


[View source]
def partialfixedsearch? #

Returns true if this enum value equals PARTIALFIXEDSEARCH


[View source]
def portfoliosearch? #

Returns true if this enum value equals PORTFOLIOSEARCH


[View source]
def portfoliowithquickrestartsearch? #

Returns true if this enum value equals PORTFOLIOWITHQUICKRESTARTSEARCH


[View source]
def pseudocostsearch? #

Returns true if this enum value equals PSEUDOCOSTSEARCH


[View source]
def randomizedsearch? #

Returns true if this enum value equals RANDOMIZEDSEARCH


[View source]