![]() |
Google OR-Tools v9.12
a fast and portable software suite for combinatorial optimization
|
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 |
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 1191 of file SatParameters.java.
|
static |
|
static |
value | The numeric wire value of the corresponding enum entry. |
Definition at line 1248 of file SatParameters.java.
|
static |
Definition at line 1278 of file SatParameters.java.
final com.google.protobuf.Descriptors.EnumDescriptor com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.getDescriptorForType | ( | ) |
Definition at line 1274 of file SatParameters.java.
final int com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.getNumber | ( | ) |
Definition at line 1230 of file SatParameters.java.
final com.google.protobuf.Descriptors.EnumValueDescriptor com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.getValueDescriptor | ( | ) |
Definition at line 1270 of file SatParameters.java.
|
static |
Definition at line 1258 of file SatParameters.java.
|
static |
Definition at line 1284 of file SatParameters.java.
|
static |
value | The numeric wire value of the corresponding enum entry. |
forNumber(int)
instead. Definition at line 1240 of file SatParameters.java.
com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.DEFAULT_ASSUMPTION_ORDER =(0) |
DEFAULT_ASSUMPTION_ORDER = 0;
Definition at line 1196 of file SatParameters.java.
|
static |
DEFAULT_ASSUMPTION_ORDER = 0;
Definition at line 1219 of file SatParameters.java.
com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.ORDER_ASSUMPTION_BY_DEPTH =(1) |
ORDER_ASSUMPTION_BY_DEPTH = 1;
Definition at line 1200 of file SatParameters.java.
|
static |
ORDER_ASSUMPTION_BY_DEPTH = 1;
Definition at line 1223 of file SatParameters.java.
com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder.ORDER_ASSUMPTION_BY_WEIGHT =(2) |
ORDER_ASSUMPTION_BY_WEIGHT = 2;
Definition at line 1204 of file SatParameters.java.
|
static |
ORDER_ASSUMPTION_BY_WEIGHT = 2;
Definition at line 1227 of file SatParameters.java.