Uses of Class
com.google.ortools.sat.SatParameters.RestartAlgorithm

Packages that use SatParameters.RestartAlgorithm

Package	Description
com.google.ortools.sat

Uses of SatParameters.RestartAlgorithm in com.google.ortools.sat

Methods in com.google.ortools.sat that return SatParameters.RestartAlgorithm

Modifier and Type	Method	Description
static SatParameters.RestartAlgorithm	SatParameters.RestartAlgorithm.forNumber(int value)
SatParameters.RestartAlgorithm	SatParameters.Builder.getRestartAlgorithms(int index)	The restart strategies will change each time the strategy_counter is increased.
SatParameters.RestartAlgorithm	SatParameters.getRestartAlgorithms(int index)	The restart strategies will change each time the strategy_counter is increased.
SatParameters.RestartAlgorithm	SatParametersOrBuilder.getRestartAlgorithms(int index)	The restart strategies will change each time the strategy_counter is increased.
static SatParameters.RestartAlgorithm	SatParameters.RestartAlgorithm.valueOf(int value)	Deprecated.
static SatParameters.RestartAlgorithm	SatParameters.RestartAlgorithm.valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)	Returns the enum constant of this type with the specified name.
static SatParameters.RestartAlgorithm	SatParameters.RestartAlgorithm.valueOf(java.lang.String name)	Returns the enum constant of this type with the specified name.
static SatParameters.RestartAlgorithm[]	SatParameters.RestartAlgorithm.values()	Returns an array containing the constants of this enum type, in the order they are declared.

Methods in com.google.ortools.sat that return types with arguments of type SatParameters.RestartAlgorithm

Modifier and Type	Method	Description
java.util.List<SatParameters.RestartAlgorithm>	SatParameters.Builder.getRestartAlgorithmsList()	The restart strategies will change each time the strategy_counter is increased.
java.util.List<SatParameters.RestartAlgorithm>	SatParameters.getRestartAlgorithmsList()	The restart strategies will change each time the strategy_counter is increased.
java.util.List<SatParameters.RestartAlgorithm>	SatParametersOrBuilder.getRestartAlgorithmsList()	The restart strategies will change each time the strategy_counter is increased.
static com.google.protobuf.Internal.EnumLiteMap<SatParameters.RestartAlgorithm>	SatParameters.RestartAlgorithm.internalGetValueMap()

Methods in com.google.ortools.sat with parameters of type SatParameters.RestartAlgorithm

Modifier and Type	Method	Description
SatParameters.Builder	SatParameters.Builder.addRestartAlgorithms(SatParameters.RestartAlgorithm value)	The restart strategies will change each time the strategy_counter is increased.
SatParameters.Builder	SatParameters.Builder.setRestartAlgorithms(int index, SatParameters.RestartAlgorithm value)	The restart strategies will change each time the strategy_counter is increased.

Method parameters in com.google.ortools.sat with type arguments of type SatParameters.RestartAlgorithm

Modifier and Type	Method	Description
SatParameters.Builder	SatParameters.Builder.addAllRestartAlgorithms(java.lang.Iterable<? extends SatParameters.RestartAlgorithm> values)	The restart strategies will change each time the strategy_counter is increased.