Google OR-Tools v9.12
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.ClauseProtection Enum Reference
Inheritance diagram for com.google.ortools.sat.SatParameters.ClauseProtection:

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 ClauseProtection valueOf (int value)
 
static ClauseProtection forNumber (int value)
 
static com.google.protobuf.Internal.EnumLiteMap< ClauseProtection > internalGetValueMap ()
 
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor ()
 
static ClauseProtection valueOf (com.google.protobuf.Descriptors.EnumValueDescriptor desc)
 

Public Attributes

 PROTECTION_NONE =(0)
 
 PROTECTION_ALWAYS =(1)
 
 PROTECTION_LBD =(2)
 

Static Public Attributes

static final int PROTECTION_NONE_VALUE = 0
 
static final int PROTECTION_ALWAYS_VALUE = 1
 
static final int PROTECTION_LBD_VALUE = 2
 

Detailed Description

Each time a clause activity is bumped, the clause has a chance to be
protected during the next cleanup phase. Note that clauses used as a reason
are always protected.

Protobuf enum operations_research.sat.SatParameters.ClauseProtection

Definition at line 750 of file SatParameters.java.

Member Function Documentation

◆ [static initializer]()

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

◆ forNumber()

static ClauseProtection com.google.ortools.sat.SatParameters.ClauseProtection.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 831 of file SatParameters.java.

◆ getDescriptor()

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

Definition at line 861 of file SatParameters.java.

◆ getDescriptorForType()

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

Definition at line 857 of file SatParameters.java.

◆ getNumber()

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

Definition at line 813 of file SatParameters.java.

◆ getValueDescriptor()

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

Definition at line 853 of file SatParameters.java.

◆ internalGetValueMap()

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

Definition at line 841 of file SatParameters.java.

◆ valueOf() [1/2]

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

Definition at line 867 of file SatParameters.java.

◆ valueOf() [2/2]

static ClauseProtection com.google.ortools.sat.SatParameters.ClauseProtection.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 823 of file SatParameters.java.

Member Data Documentation

◆ PROTECTION_ALWAYS

com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_ALWAYS =(1) 
Protect all clauses whose activity is bumped.

PROTECTION_ALWAYS = 1;

Definition at line 767 of file SatParameters.java.

◆ PROTECTION_ALWAYS_VALUE

final int com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_ALWAYS_VALUE = 1
static 
Protect all clauses whose activity is bumped.

PROTECTION_ALWAYS = 1;

Definition at line 802 of file SatParameters.java.

◆ PROTECTION_LBD

com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_LBD =(2) 
Only protect clause with a better LBD.

PROTECTION_LBD = 2;

Definition at line 775 of file SatParameters.java.

◆ PROTECTION_LBD_VALUE

final int com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_LBD_VALUE = 2
static 
Only protect clause with a better LBD.

PROTECTION_LBD = 2;

Definition at line 810 of file SatParameters.java.

◆ PROTECTION_NONE

com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE =(0) 
No protection.

PROTECTION_NONE = 0;

Definition at line 759 of file SatParameters.java.

◆ PROTECTION_NONE_VALUE

final int com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE_VALUE = 0
static 
No protection.

PROTECTION_NONE = 0;

Definition at line 794 of file SatParameters.java.

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