enum

OperationsResearch::Sat::SatParameters::RestartAlgorithm

Inherits Enum < Comparable < Value < Object

Constants

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

Instance methods

dlmovingaveragerestart?

Returns true if this enum value equals DLMOVINGAVERAGERESTART

Source
fixedrestart?

Returns true if this enum value equals FIXEDRESTART

Source
lbdmovingaveragerestart?

Returns true if this enum value equals LBDMOVINGAVERAGERESTART

Source
lubyrestart?

Returns true if this enum value equals LUBYRESTART

Source
norestart?

Returns true if this enum value equals NORESTART

Source