Google OR-Tools v9.14
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
com.google.ortools.sat.SatParameters.RestartAlgorithm Enum Reference
Inheritance diagram for com.google.ortools.sat.SatParameters.RestartAlgorithm:

Public Member Functions

final int getNumber ()
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor ()
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType ()

Static Public Member Functions

 [static initializer]
static RestartAlgorithm valueOf (int value)
static RestartAlgorithm forNumber (int value)
static com.google.protobuf.Internal.EnumLiteMap< RestartAlgorithminternalGetValueMap ()
static com.google.protobuf.Descriptors.EnumDescriptor getDescriptor ()
static RestartAlgorithm valueOf (com.google.protobuf.Descriptors.EnumValueDescriptor desc)

Public Attributes

 NO_RESTART =(0)
 LUBY_RESTART =(1)
 DL_MOVING_AVERAGE_RESTART =(2)
 LBD_MOVING_AVERAGE_RESTART =(3)
 FIXED_RESTART =(4)

Static Public Attributes

static final int NO_RESTART_VALUE = 0
static final int LUBY_RESTART_VALUE = 1
static final int DL_MOVING_AVERAGE_RESTART_VALUE = 2
static final int LBD_MOVING_AVERAGE_RESTART_VALUE = 3
static final int FIXED_RESTART_VALUE = 4

Detailed Description

Restart algorithms.

A reference for the more advanced ones is:
Gilles Audemard, Laurent Simon, "Refining Restarts Strategies for SAT
and UNSAT", Principles and Practice of Constraint Programming Lecture
Notes in Computer Science 2012, pp 118-126

Protobuf enum operations_research.sat.SatParameters.RestartAlgorithm

Definition at line 1032 of file SatParameters.java.

Member Function Documentation

◆ [static initializer]()

com.google.ortools.sat.SatParameters.RestartAlgorithm.[static initializer]
static

◆ forNumber()

RestartAlgorithm com.google.ortools.sat.SatParameters.RestartAlgorithm.forNumber ( int value)
static
Parameters
valueThe numeric wire value of the corresponding enum entry.
Returns
The enum associated with the given numeric wire value.

Definition at line 1137 of file SatParameters.java.

◆ getDescriptor()

com.google.protobuf.Descriptors.EnumDescriptor com.google.ortools.sat.SatParameters.RestartAlgorithm.getDescriptor ( )
static

Definition at line 1169 of file SatParameters.java.

◆ getDescriptorForType()

final com.google.protobuf.Descriptors.EnumDescriptor com.google.ortools.sat.SatParameters.RestartAlgorithm.getDescriptorForType ( )

Definition at line 1165 of file SatParameters.java.

◆ getNumber()

final int com.google.ortools.sat.SatParameters.RestartAlgorithm.getNumber ( )

Definition at line 1119 of file SatParameters.java.

◆ getValueDescriptor()

final com.google.protobuf.Descriptors.EnumValueDescriptor com.google.ortools.sat.SatParameters.RestartAlgorithm.getValueDescriptor ( )

Definition at line 1161 of file SatParameters.java.

◆ internalGetValueMap()

com.google.protobuf.Internal.EnumLiteMap< RestartAlgorithm > com.google.ortools.sat.SatParameters.RestartAlgorithm.internalGetValueMap ( )
static

Definition at line 1149 of file SatParameters.java.

◆ valueOf() [1/2]

RestartAlgorithm com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf ( com.google.protobuf.Descriptors.EnumValueDescriptor desc)
static

Definition at line 1175 of file SatParameters.java.

◆ valueOf() [2/2]

RestartAlgorithm com.google.ortools.sat.SatParameters.RestartAlgorithm.valueOf ( int value)
static
Parameters
valueThe numeric wire value of the corresponding enum entry.
Returns
The enum associated with the given numeric wire value.
Deprecated
Use forNumber(int) instead.

Definition at line 1129 of file SatParameters.java.

Member Data Documentation

◆ DL_MOVING_AVERAGE_RESTART

com.google.ortools.sat.SatParameters.RestartAlgorithm.DL_MOVING_AVERAGE_RESTART =(2)
Moving average restart based on the decision level of conflicts.

DL_MOVING_AVERAGE_RESTART = 2;

Definition at line 1053 of file SatParameters.java.

◆ DL_MOVING_AVERAGE_RESTART_VALUE

final int com.google.ortools.sat.SatParameters.RestartAlgorithm.DL_MOVING_AVERAGE_RESTART_VALUE = 2
static
Moving average restart based on the decision level of conflicts.

DL_MOVING_AVERAGE_RESTART = 2;

Definition at line 1100 of file SatParameters.java.

◆ FIXED_RESTART

com.google.ortools.sat.SatParameters.RestartAlgorithm.FIXED_RESTART =(4)
Fixed period restart every restart period.

FIXED_RESTART = 4;

Definition at line 1069 of file SatParameters.java.

◆ FIXED_RESTART_VALUE

final int com.google.ortools.sat.SatParameters.RestartAlgorithm.FIXED_RESTART_VALUE = 4
static
Fixed period restart every restart period.

FIXED_RESTART = 4;

Definition at line 1116 of file SatParameters.java.

◆ LBD_MOVING_AVERAGE_RESTART

com.google.ortools.sat.SatParameters.RestartAlgorithm.LBD_MOVING_AVERAGE_RESTART =(3)
Moving average restart based on the LBD of conflicts.

LBD_MOVING_AVERAGE_RESTART = 3;

Definition at line 1061 of file SatParameters.java.

◆ LBD_MOVING_AVERAGE_RESTART_VALUE

final int com.google.ortools.sat.SatParameters.RestartAlgorithm.LBD_MOVING_AVERAGE_RESTART_VALUE = 3
static
Moving average restart based on the LBD of conflicts.

LBD_MOVING_AVERAGE_RESTART = 3;

Definition at line 1108 of file SatParameters.java.

◆ LUBY_RESTART

com.google.ortools.sat.SatParameters.RestartAlgorithm.LUBY_RESTART =(1)
Just follow a Luby sequence times restart_period.

LUBY_RESTART = 1;

Definition at line 1045 of file SatParameters.java.

◆ LUBY_RESTART_VALUE

final int com.google.ortools.sat.SatParameters.RestartAlgorithm.LUBY_RESTART_VALUE = 1
static
Just follow a Luby sequence times restart_period.

LUBY_RESTART = 1;

Definition at line 1092 of file SatParameters.java.

◆ NO_RESTART

com.google.ortools.sat.SatParameters.RestartAlgorithm.NO_RESTART =(0)

NO_RESTART = 0;

Definition at line 1037 of file SatParameters.java.

◆ NO_RESTART_VALUE

final int com.google.ortools.sat.SatParameters.RestartAlgorithm.NO_RESTART_VALUE = 0
static

NO_RESTART = 0;

Definition at line 1084 of file SatParameters.java.


The documentation for this enum was generated from the following file: