Google OR-Tools v9.9
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
Public Member Functions | Static Public Member Functions | Public Attributes | Static Public Attributes | List of all members
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 RestartAlgorithm valueOf (int value)
 
static RestartAlgorithm forNumber (int value)
 
static com.google.protobuf.Internal.EnumLiteMap< RestartAlgorithm > internalGetValueMap ()
 
static final 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 947 of file SatParameters.java.

Member Function Documentation

◆ forNumber()

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

◆ getDescriptor()

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

Definition at line 1075 of file SatParameters.java.

◆ getDescriptorForType()

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

Definition at line 1071 of file SatParameters.java.

◆ getNumber()

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

Definition at line 1025 of file SatParameters.java.

◆ getValueDescriptor()

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

Definition at line 1067 of file SatParameters.java.

◆ internalGetValueMap()

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

Definition at line 1055 of file SatParameters.java.

◆ valueOf() [1/2]

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

Definition at line 1081 of file SatParameters.java.

◆ valueOf() [2/2]

static 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 1035 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 968 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 1006 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 984 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 1022 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 976 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 1014 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 960 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 998 of file SatParameters.java.

◆ NO_RESTART

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

NO_RESTART = 0;

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

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