com.google.ortools.sat

Enum SatParameters.MaxSatStratificationAlgorithm

java.lang.Object

java.lang.Enum<SatParameters.MaxSatStratificationAlgorithm>

com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm

All Implemented Interfaces:

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

Enclosing class:

SatParameters

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

 What stratification algorithm we use in the presence of weight.
 

Protobuf enum operations_research.sat.SatParameters.MaxSatStratificationAlgorithm

Enum Constant Summary

Enum Constants

Enum Constant and Description
STRATIFICATION_ASCENT Start with all literals.
STRATIFICATION_DESCENT Start with literals with the highest weight, and when SAT, add the literals with the next highest weight and so on.
STRATIFICATION_NONE No stratification of the problem.

Field Summary

Fields

Modifier and Type	Field and Description
static int	STRATIFICATION_ASCENT_VALUE Start with all literals.
static int	STRATIFICATION_DESCENT_VALUE Start with literals with the highest weight, and when SAT, add the literals with the next highest weight and so on.
static int	STRATIFICATION_NONE_VALUE No stratification of the problem.

Method Summary

Modifier and Type	Method and Description
static SatParameters.MaxSatStratificationAlgorithm	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.MaxSatStratificationAlgorithm>	internalGetValueMap()
static SatParameters.MaxSatStratificationAlgorithm	valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
static SatParameters.MaxSatStratificationAlgorithm	valueOf(int value) Deprecated. Use forNumber(int) instead.
static SatParameters.MaxSatStratificationAlgorithm	valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static SatParameters.MaxSatStratificationAlgorithm[]	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

STRATIFICATION_NONE

public static final SatParameters.MaxSatStratificationAlgorithm STRATIFICATION_NONE

 No stratification of the problem.
 

STRATIFICATION_NONE = 0;

STRATIFICATION_DESCENT

public static final SatParameters.MaxSatStratificationAlgorithm STRATIFICATION_DESCENT

 Start with literals with the highest weight, and when SAT, add the
 literals with the next highest weight and so on.
 

STRATIFICATION_DESCENT = 1;

STRATIFICATION_ASCENT

public static final SatParameters.MaxSatStratificationAlgorithm STRATIFICATION_ASCENT

 Start with all literals. Each time a core is found with a given minimum
 weight, do not consider literals with a lower weight for the next core
 computation. If the subproblem is SAT, do like in STRATIFICATION_DESCENT
 and just add the literals with the next highest weight.
 

STRATIFICATION_ASCENT = 2;

Field Detail

STRATIFICATION_NONE_VALUE

public static final int STRATIFICATION_NONE_VALUE

 No stratification of the problem.
 

STRATIFICATION_NONE = 0;

See Also:

Constant Field Values

STRATIFICATION_DESCENT_VALUE

public static final int STRATIFICATION_DESCENT_VALUE

 Start with literals with the highest weight, and when SAT, add the
 literals with the next highest weight and so on.
 

STRATIFICATION_DESCENT = 1;

See Also:

Constant Field Values

STRATIFICATION_ASCENT_VALUE

public static final int STRATIFICATION_ASCENT_VALUE

 Start with all literals. Each time a core is found with a given minimum
 weight, do not consider literals with a lower weight for the next core
 computation. If the subproblem is SAT, do like in STRATIFICATION_DESCENT
 and just add the literals with the next highest weight.
 

STRATIFICATION_ASCENT = 2;

See Also:

Constant Field Values

Method Detail

values

public static SatParameters.MaxSatStratificationAlgorithm[] 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.MaxSatStratificationAlgorithm c : SatParameters.MaxSatStratificationAlgorithm.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.MaxSatStratificationAlgorithm 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.MaxSatStratificationAlgorithm 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.MaxSatStratificationAlgorithm 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.MaxSatStratificationAlgorithm> 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.MaxSatStratificationAlgorithm valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)