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

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 877 of file SatParameters.java.

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< RestartAlgorithm > internalGetValueMap ()
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

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 982 of file SatParameters.java.

◆ getDescriptor()

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

Definition at line 1014 of file SatParameters.java.

◆ getDescriptorForType()

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

Definition at line 1010 of file SatParameters.java.

◆ getNumber()

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

Definition at line 964 of file SatParameters.java.

◆ getValueDescriptor()

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

Definition at line 1006 of file SatParameters.java.

◆ internalGetValueMap()

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

Definition at line 994 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 1020 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 974 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 898 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 945 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 914 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 961 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 906 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 953 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 890 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 937 of file SatParameters.java.

◆ NO_RESTART

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

NO_RESTART = 0;

Definition at line 882 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 929 of file SatParameters.java.

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