Java Reference

Java Reference

SatParameters.ClauseProtection Enum Reference

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 1522 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 ClauseProtection valueOf (int value)
 
static ClauseProtection forNumber (int value)
 
static com.google.protobuf.Internal.EnumLiteMap< ClauseProtectioninternalGetValueMap ()
 
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
 

Member Function Documentation

◆ forNumber()

static ClauseProtection forNumber ( int  value)
inlinestatic
Parameters
valueThe numeric wire value of the corresponding enum entry.
Returns
The enum associated with the given numeric wire value.

Definition at line 1594 of file SatParameters.java.

◆ getDescriptor()

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

Definition at line 1624 of file SatParameters.java.

◆ getDescriptorForType()

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

Definition at line 1620 of file SatParameters.java.

◆ getNumber()

final int getNumber ( )
inline

Definition at line 1576 of file SatParameters.java.

◆ getValueDescriptor()

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

Definition at line 1616 of file SatParameters.java.

◆ internalGetValueMap()

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

Definition at line 1604 of file SatParameters.java.

◆ valueOf() [1/2]

static ClauseProtection valueOf ( com.google.protobuf.Descriptors.EnumValueDescriptor  desc)
inlinestatic

Definition at line 1630 of file SatParameters.java.

◆ valueOf() [2/2]

.lang.Deprecated static ClauseProtection valueOf ( int  value)
inlinestatic
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 1586 of file SatParameters.java.

Member Data Documentation

◆ PROTECTION_ALWAYS

PROTECTION_ALWAYS =(1)
Protect all clauses whose activity is bumped.

PROTECTION_ALWAYS = 1;

Definition at line 1539 of file SatParameters.java.

◆ PROTECTION_ALWAYS_VALUE

final int PROTECTION_ALWAYS_VALUE = 1
static
Protect all clauses whose activity is bumped.

PROTECTION_ALWAYS = 1;

Definition at line 1565 of file SatParameters.java.

◆ PROTECTION_LBD

PROTECTION_LBD =(2)
Only protect clause with a better LBD.

PROTECTION_LBD = 2;

Definition at line 1547 of file SatParameters.java.

◆ PROTECTION_LBD_VALUE

final int PROTECTION_LBD_VALUE = 2
static
Only protect clause with a better LBD.

PROTECTION_LBD = 2;

Definition at line 1573 of file SatParameters.java.

◆ PROTECTION_NONE

PROTECTION_NONE =(0)
No protection.

PROTECTION_NONE = 0;

Definition at line 1531 of file SatParameters.java.

◆ PROTECTION_NONE_VALUE

final int PROTECTION_NONE_VALUE = 0
static
No protection.

PROTECTION_NONE = 0;

Definition at line 1557 of file SatParameters.java.


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