Java Reference

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

Public Member Functions

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

Static Public Member Functions

.lang.Deprecated static RestartAlgorithm valueOf (int value)
 
static RestartAlgorithm forNumber (int value)
 
static com.google.protobuf.Internal.EnumLiteMap< RestartAlgorithminternalGetValueMap ()
 
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor ()
 
static RestartAlgorithm valueOf (com.google.protobuf.Descriptors.EnumValueDescriptor desc)
 

Public Attributes

 NO_RESTART =(0)
 NO_RESTART = 0; More...
 
 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
 NO_RESTART = 0; More...
 
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

◆ forNumber()

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

◆ getDescriptor()

static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor ( )
static

Definition at line 2041 of file SatParameters.java.

◆ getDescriptorForType()

final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType ( )

Definition at line 2037 of file SatParameters.java.

◆ getNumber()

final int getNumber ( )

Definition at line 1991 of file SatParameters.java.

◆ getValueDescriptor()

final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor ( )

Definition at line 2033 of file SatParameters.java.

◆ internalGetValueMap()

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

Definition at line 2021 of file SatParameters.java.

◆ valueOf() [1/2]

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

Definition at line 2047 of file SatParameters.java.

◆ valueOf() [2/2]

.lang.Deprecated static 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 2001 of file SatParameters.java.

Member Data Documentation

◆ DL_MOVING_AVERAGE_RESTART

DL_MOVING_AVERAGE_RESTART =(2)
Moving average restart based on the decision level of conflicts.

DL_MOVING_AVERAGE_RESTART = 2;

Definition at line 1934 of file SatParameters.java.

◆ DL_MOVING_AVERAGE_RESTART_VALUE

final int 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 1972 of file SatParameters.java.

◆ FIXED_RESTART

FIXED_RESTART =(4)
Fixed period restart every restart period.

FIXED_RESTART = 4;

Definition at line 1950 of file SatParameters.java.

◆ FIXED_RESTART_VALUE

final int FIXED_RESTART_VALUE = 4
static
Fixed period restart every restart period.

FIXED_RESTART = 4;

Definition at line 1988 of file SatParameters.java.

◆ LBD_MOVING_AVERAGE_RESTART

LBD_MOVING_AVERAGE_RESTART =(3)
Moving average restart based on the LBD of conflicts.

LBD_MOVING_AVERAGE_RESTART = 3;

Definition at line 1942 of file SatParameters.java.

◆ LBD_MOVING_AVERAGE_RESTART_VALUE

final int LBD_MOVING_AVERAGE_RESTART_VALUE = 3
static
Moving average restart based on the LBD of conflicts.

LBD_MOVING_AVERAGE_RESTART = 3;

Definition at line 1980 of file SatParameters.java.

◆ LUBY_RESTART

LUBY_RESTART =(1)
Just follow a Luby sequence times restart_period.

LUBY_RESTART = 1;

Definition at line 1926 of file SatParameters.java.

◆ LUBY_RESTART_VALUE

final int LUBY_RESTART_VALUE = 1
static
Just follow a Luby sequence times restart_period.

LUBY_RESTART = 1;

Definition at line 1964 of file SatParameters.java.

◆ NO_RESTART

NO_RESTART =(0)

NO_RESTART = 0;

Definition at line 1918 of file SatParameters.java.

◆ NO_RESTART_VALUE

final int NO_RESTART_VALUE = 0
static

NO_RESTART = 0;

Definition at line 1956 of file SatParameters.java.


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