Enum SatParameters.BinaryMinizationAlgorithm
java.lang.Object
java.lang.Enum<SatParameters.BinaryMinizationAlgorithm>
com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm
- All Implemented Interfaces:
com.google.protobuf.Internal.EnumLite
,com.google.protobuf.ProtocolMessageEnum
,Serializable
,Comparable<SatParameters.BinaryMinizationAlgorithm>
,java.lang.constant.Constable
- Enclosing class:
SatParameters
public static enum SatParameters.BinaryMinizationAlgorithm
extends Enum<SatParameters.BinaryMinizationAlgorithm>
implements com.google.protobuf.ProtocolMessageEnum
Whether to expoit the binary clause to minimize learned clauses further.Protobuf enum
operations_research.sat.SatParameters.BinaryMinizationAlgorithm
-
Nested Class Summary
Nested classes/interfaces inherited from class java.lang.Enum
Enum.EnumDesc<E extends Enum<E>>
-
Enum Constant Summary
Enum ConstantsEnum ConstantDescriptionBINARY_MINIMIZATION_FIRST = 1;
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = 4;
BINARY_MINIMIZATION_WITH_REACHABILITY = 2;
EXPERIMENTAL_BINARY_MINIMIZATION = 3;
NO_BINARY_MINIMIZATION = 0;
-
Field Summary
FieldsModifier and TypeFieldDescriptionstatic final int
BINARY_MINIMIZATION_FIRST = 1;
static final int
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = 4;
static final int
BINARY_MINIMIZATION_WITH_REACHABILITY = 2;
static final int
EXPERIMENTAL_BINARY_MINIMIZATION = 3;
static final int
NO_BINARY_MINIMIZATION = 0;
-
Method Summary
Modifier and TypeMethodDescriptionforNumber
(int value) static com.google.protobuf.Descriptors.EnumDescriptor
final com.google.protobuf.Descriptors.EnumDescriptor
final int
final com.google.protobuf.Descriptors.EnumValueDescriptor
static com.google.protobuf.Internal.EnumLiteMap
<SatParameters.BinaryMinizationAlgorithm> valueOf
(int value) Deprecated.valueOf
(com.google.protobuf.Descriptors.EnumValueDescriptor desc) Returns the enum constant of this type with the specified name.Returns the enum constant of this type with the specified name.values()
Returns an array containing the constants of this enum type, in the order they are declared.
-
Enum Constant Details
-
NO_BINARY_MINIMIZATION
NO_BINARY_MINIMIZATION = 0;
-
BINARY_MINIMIZATION_FIRST
BINARY_MINIMIZATION_FIRST = 1;
-
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION
public static final SatParameters.BinaryMinizationAlgorithm BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTIONBINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = 4;
-
BINARY_MINIMIZATION_WITH_REACHABILITY
BINARY_MINIMIZATION_WITH_REACHABILITY = 2;
-
EXPERIMENTAL_BINARY_MINIMIZATION
EXPERIMENTAL_BINARY_MINIMIZATION = 3;
-
-
Field Details
-
NO_BINARY_MINIMIZATION_VALUE
public static final int NO_BINARY_MINIMIZATION_VALUENO_BINARY_MINIMIZATION = 0;
- See Also:
-
BINARY_MINIMIZATION_FIRST_VALUE
public static final int BINARY_MINIMIZATION_FIRST_VALUEBINARY_MINIMIZATION_FIRST = 1;
- See Also:
-
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION_VALUE
public static final int BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION_VALUEBINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = 4;
- See Also:
-
BINARY_MINIMIZATION_WITH_REACHABILITY_VALUE
public static final int BINARY_MINIMIZATION_WITH_REACHABILITY_VALUEBINARY_MINIMIZATION_WITH_REACHABILITY = 2;
- See Also:
-
EXPERIMENTAL_BINARY_MINIMIZATION_VALUE
public static final int EXPERIMENTAL_BINARY_MINIMIZATION_VALUEEXPERIMENTAL_BINARY_MINIMIZATION = 3;
- See Also:
-
-
Method Details
-
values
Returns an array containing the constants of this enum type, in the order they are declared.- Returns:
- an array containing the constants of this enum type, in the order they are declared
-
valueOf
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:
IllegalArgumentException
- if this enum type has no constant with the specified nameNullPointerException
- if the argument is null
-
getNumber
public final int getNumber()- Specified by:
getNumber
in interfacecom.google.protobuf.Internal.EnumLite
- Specified by:
getNumber
in interfacecom.google.protobuf.ProtocolMessageEnum
-
valueOf
Deprecated.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:
value
- the name of the enum constant to be returned.- Returns:
- the enum constant with the specified name
- Throws:
IllegalArgumentException
- if this enum type has no constant with the specified nameNullPointerException
- if the argument is null
-
forNumber
- 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.BinaryMinizationAlgorithm> internalGetValueMap() -
getValueDescriptor
public final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor()- Specified by:
getValueDescriptor
in interfacecom.google.protobuf.ProtocolMessageEnum
-
getDescriptorForType
public final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType()- Specified by:
getDescriptorForType
in interfacecom.google.protobuf.ProtocolMessageEnum
-
getDescriptor
public static com.google.protobuf.Descriptors.EnumDescriptor getDescriptor() -
valueOf
public static SatParameters.BinaryMinizationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc) 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:
desc
- the name of the enum constant to be returned.- Returns:
- the enum constant with the specified name
- Throws:
IllegalArgumentException
- if this enum type has no constant with the specified nameNullPointerException
- if the argument is null
-