enum OperationsResearch::Sat::SatParameters::RestartAlgorithm

Defined in:

ortools-sat/connector/sat_parameters.pb.cr

Enum Members

NORESTART = 0
LUBYRESTART = 1
DLMOVINGAVERAGERESTART = 2
LBDMOVINGAVERAGERESTART = 3
FIXEDRESTART = 4

Instance Method Summary

Instance Method Detail

def dlmovingaveragerestart? #

Returns true if this enum value equals DLMOVINGAVERAGERESTART


[View source]
def fixedrestart? #

Returns true if this enum value equals FIXEDRESTART


[View source]
def lbdmovingaveragerestart? #

Returns true if this enum value equals LBDMOVINGAVERAGERESTART


[View source]
def lubyrestart? #

Returns true if this enum value equals LUBYRESTART


[View source]
def norestart? #

Returns true if this enum value equals NORESTART


[View source]