Google OR-Tools v9.11
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
Public Member Functions | Static Public Member Functions | Public Attributes | Static Public Attributes | List of all members
com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder Enum Reference
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 final 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
 

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

Member Function Documentation

◆ [static initializer]()

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

◆ forNumber()

static MaxSatAssumptionOrder com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.forNumber ( int value)
static
Parameters
valueThe numeric wire value of the corresponding enum entry.
Returns
The enum associated with the given numeric wire value.

Definition at line 1237 of file SatParameters.java.

◆ getDescriptor()

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

Definition at line 1267 of file SatParameters.java.

◆ getDescriptorForType()

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

Definition at line 1263 of file SatParameters.java.

◆ getNumber()

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

Definition at line 1219 of file SatParameters.java.

◆ getValueDescriptor()

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

Definition at line 1259 of file SatParameters.java.

◆ internalGetValueMap()

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

Definition at line 1247 of file SatParameters.java.

◆ valueOf() [1/2]

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

Definition at line 1273 of file SatParameters.java.

◆ valueOf() [2/2]

static MaxSatAssumptionOrder com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.valueOf ( int value)
static
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 1229 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 1185 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 1208 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 1189 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 1212 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 1193 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 1216 of file SatParameters.java.

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