com.google.ortools.sat

Enum SatParameters.ClauseProtection

java.lang.Object

java.lang.Enum<SatParameters.ClauseProtection>

com.google.ortools.sat.SatParameters.ClauseProtection

All Implemented Interfaces:

com.google.protobuf.Internal.EnumLite, com.google.protobuf.ProtocolMessageEnum, java.io.Serializable, java.lang.Comparable<SatParameters.ClauseProtection>

Enclosing class:

SatParameters

public static enum SatParameters.ClauseProtection
extends java.lang.Enum<SatParameters.ClauseProtection>
implements com.google.protobuf.ProtocolMessageEnum

 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

Enum Constant Summary

Enum Constants

Enum Constant and Description
PROTECTION_ALWAYS Protect all clauses whose activity is bumped.
PROTECTION_LBD Only protect clause with a better LBD.
PROTECTION_NONE No protection.

Field Summary

Fields

Modifier and Type	Field and Description
static int	PROTECTION_ALWAYS_VALUE Protect all clauses whose activity is bumped.
static int	PROTECTION_LBD_VALUE Only protect clause with a better LBD.
static int	PROTECTION_NONE_VALUE No protection.

Method Summary

Modifier and Type	Method and Description
static SatParameters.ClauseProtection	forNumber(int value)
static com.google.protobuf.Descriptors.EnumDescriptor	getDescriptor()
com.google.protobuf.Descriptors.EnumDescriptor	getDescriptorForType()
int	getNumber()
com.google.protobuf.Descriptors.EnumValueDescriptor	getValueDescriptor()
static com.google.protobuf.Internal.EnumLiteMap<SatParameters.ClauseProtection>	internalGetValueMap()
static SatParameters.ClauseProtection	valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
static SatParameters.ClauseProtection	valueOf(int value) Deprecated. Use forNumber(int) instead.
static SatParameters.ClauseProtection	valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static SatParameters.ClauseProtection[]	values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods inherited from class java.lang.Enum

clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Detail

PROTECTION_NONE

public static final SatParameters.ClauseProtection PROTECTION_NONE

 No protection.
 

PROTECTION_NONE = 0;

PROTECTION_ALWAYS

public static final SatParameters.ClauseProtection PROTECTION_ALWAYS

 Protect all clauses whose activity is bumped.
 

PROTECTION_ALWAYS = 1;

PROTECTION_LBD

public static final SatParameters.ClauseProtection PROTECTION_LBD

 Only protect clause with a better LBD.
 

PROTECTION_LBD = 2;

Field Detail

PROTECTION_NONE_VALUE

public static final int PROTECTION_NONE_VALUE

 No protection.
 

PROTECTION_NONE = 0;

See Also:

Constant Field Values

PROTECTION_ALWAYS_VALUE

public static final int PROTECTION_ALWAYS_VALUE

 Protect all clauses whose activity is bumped.
 

PROTECTION_ALWAYS = 1;

See Also:

Constant Field Values

PROTECTION_LBD_VALUE

public static final int PROTECTION_LBD_VALUE

 Only protect clause with a better LBD.
 

PROTECTION_LBD = 2;

See Also:

Constant Field Values

Method Detail

values

public static SatParameters.ClauseProtection[] values()

Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:

for (SatParameters.ClauseProtection c : SatParameters.ClauseProtection.values())
    System.out.println(c);

Returns:

an array containing the constants of this enum type, in the order they are declared

valueOf

public static SatParameters.ClauseProtection valueOf(java.lang.String name)

Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

Parameters:

name - the name of the enum constant to be returned.

Returns:

the enum constant with the specified name

Throws:

java.lang.IllegalArgumentException - if this enum type has no constant with the specified name

java.lang.NullPointerException - if the argument is null

getNumber

public final int getNumber()

Specified by:

getNumber in interface com.google.protobuf.Internal.EnumLite

Specified by:

getNumber in interface com.google.protobuf.ProtocolMessageEnum

valueOf

@Deprecated
public static SatParameters.ClauseProtection valueOf(int value)

Deprecated. Use forNumber(int) instead.

Parameters:

value - The numeric wire value of the corresponding enum entry.

Returns:

The enum associated with the given numeric wire value.

forNumber

public static SatParameters.ClauseProtection forNumber(int value)

Parameters:

value - The numeric wire value of the corresponding enum entry.

Returns:

The enum associated with the given numeric wire value.

internalGetValueMap

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

getValueDescriptor

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

Specified by:

getValueDescriptor in interface com.google.protobuf.ProtocolMessageEnum

getDescriptorForType

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

Specified by:

getDescriptorForType in interface com.google.protobuf.ProtocolMessageEnum

getDescriptor

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

valueOf

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