com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder Enum Reference

Detailed Description

In what order do we add the assumptions in a core-based max-sat algorithm

Protobuf enum operations_research.sat.SatParameters.MaxSatAssumptionOrder

Definition at line 1045 of file SatParameters.java.

Inheritance diagram for com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder:

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

Public Attributes
	DEFAULT_ASSUMPTION_ORDER =(0)
	ORDER_ASSUMPTION_BY_DEPTH =(1)
	ORDER_ASSUMPTION_BY_WEIGHT =(2)

Static Public Attributes
static final int	DEFAULT_ASSUMPTION_ORDER_VALUE = 0
static final int	ORDER_ASSUMPTION_BY_DEPTH_VALUE = 1
static final int	ORDER_ASSUMPTION_BY_WEIGHT_VALUE = 2

Member Function Documentation

[static initializer]()

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

static

forNumber()

MaxSatAssumptionOrder com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.forNumber ( int value )

static

Parameters

value

The numeric wire value of the corresponding enum entry.

Returns

The enum associated with the given numeric wire value.

Definition at line 1102 of file SatParameters.java.

getDescriptor()

com.google.protobuf.Descriptors.EnumDescriptor com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.getDescriptor ( )

static

Definition at line 1132 of file SatParameters.java.

getDescriptorForType()

final com.google.protobuf.Descriptors.EnumDescriptor com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.getDescriptorForType

(

)

Definition at line 1128 of file SatParameters.java.

getNumber()

final int com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.getNumber

(

)

Definition at line 1084 of file SatParameters.java.

getValueDescriptor()

final com.google.protobuf.Descriptors.EnumValueDescriptor com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.getValueDescriptor

(

)

Definition at line 1124 of file SatParameters.java.

internalGetValueMap()

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

static

Definition at line 1112 of file SatParameters.java.

valueOf() [1/2]

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

static

Definition at line 1138 of file SatParameters.java.

valueOf() [2/2]

MaxSatAssumptionOrder com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf ( int value )

static

Parameters

value

The 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 1094 of file SatParameters.java.

Member Data Documentation

DEFAULT_ASSUMPTION_ORDER

com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER =(0)

DEFAULT_ASSUMPTION_ORDER = 0;

Definition at line 1050 of file SatParameters.java.

DEFAULT_ASSUMPTION_ORDER_VALUE

final int com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER_VALUE = 0

static

DEFAULT_ASSUMPTION_ORDER = 0;

Definition at line 1073 of file SatParameters.java.

ORDER_ASSUMPTION_BY_DEPTH

com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.ORDER_ASSUMPTION_BY_DEPTH =(1)

ORDER_ASSUMPTION_BY_DEPTH = 1;

Definition at line 1054 of file SatParameters.java.

ORDER_ASSUMPTION_BY_DEPTH_VALUE

final int com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.ORDER_ASSUMPTION_BY_DEPTH_VALUE = 1

static

ORDER_ASSUMPTION_BY_DEPTH = 1;

Definition at line 1077 of file SatParameters.java.

ORDER_ASSUMPTION_BY_WEIGHT

com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.ORDER_ASSUMPTION_BY_WEIGHT =(2)

ORDER_ASSUMPTION_BY_WEIGHT = 2;

Definition at line 1058 of file SatParameters.java.

ORDER_ASSUMPTION_BY_WEIGHT_VALUE

final int com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.ORDER_ASSUMPTION_BY_WEIGHT_VALUE = 2

static

ORDER_ASSUMPTION_BY_WEIGHT = 2;

Definition at line 1081 of file SatParameters.java.

---

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

• build/java/ortools-java/src/main/java/com/google/ortools/sat/SatParameters.java