Java Reference
Java Reference
Detailed Description
In what order do we add the assumptions in a core-based max-sat algorithm
Protobuf enum
Definition at line 1935 of file SatParameters.java.
Public Member Functions | |
| final int | getNumber () |
| final com.google.protobuf.Descriptors.EnumValueDescriptor | getValueDescriptor () |
| final com.google.protobuf.Descriptors.EnumDescriptor | getDescriptorForType () |
Static Public Member Functions | |
| .lang.Deprecated 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) | |
DEFAULT_ASSUMPTION_ORDER = 0; More... | |
| ORDER_ASSUMPTION_BY_DEPTH =(1) | |
ORDER_ASSUMPTION_BY_DEPTH = 1; More... | |
| ORDER_ASSUMPTION_BY_WEIGHT =(2) | |
ORDER_ASSUMPTION_BY_WEIGHT = 2; More... | |
Static Public Attributes | |
| static final int | DEFAULT_ASSUMPTION_ORDER_VALUE = 0 |
DEFAULT_ASSUMPTION_ORDER = 0; More... | |
| static final int | ORDER_ASSUMPTION_BY_DEPTH_VALUE = 1 |
ORDER_ASSUMPTION_BY_DEPTH = 1; More... | |
| static final int | ORDER_ASSUMPTION_BY_WEIGHT_VALUE = 2 |
ORDER_ASSUMPTION_BY_WEIGHT = 2; More... | |
Member Function Documentation
◆ forNumber()
|
inlinestatic |
- Parameters
-
value The numeric wire value of the corresponding enum entry.
- Returns
- The enum associated with the given numeric wire value.
Definition at line 1983 of file SatParameters.java.
◆ getDescriptor()
|
inlinestatic |
Definition at line 2013 of file SatParameters.java.
◆ getDescriptorForType()
|
inline |
Definition at line 2009 of file SatParameters.java.
◆ getNumber()
|
inline |
Definition at line 1965 of file SatParameters.java.
◆ getValueDescriptor()
|
inline |
Definition at line 2005 of file SatParameters.java.
◆ internalGetValueMap()
|
inlinestatic |
Definition at line 1993 of file SatParameters.java.
◆ valueOf() [1/2]
|
inlinestatic |
Definition at line 2019 of file SatParameters.java.
◆ valueOf() [2/2]
|
inlinestatic |
- 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 1975 of file SatParameters.java.
Member Data Documentation
◆ DEFAULT_ASSUMPTION_ORDER
| DEFAULT_ASSUMPTION_ORDER =(0) |
DEFAULT_ASSUMPTION_ORDER = 0;
Definition at line 1940 of file SatParameters.java.
◆ DEFAULT_ASSUMPTION_ORDER_VALUE
|
static |
DEFAULT_ASSUMPTION_ORDER = 0;
Definition at line 1954 of file SatParameters.java.
◆ ORDER_ASSUMPTION_BY_DEPTH
| ORDER_ASSUMPTION_BY_DEPTH =(1) |
ORDER_ASSUMPTION_BY_DEPTH = 1;
Definition at line 1944 of file SatParameters.java.
◆ ORDER_ASSUMPTION_BY_DEPTH_VALUE
|
static |
ORDER_ASSUMPTION_BY_DEPTH = 1;
Definition at line 1958 of file SatParameters.java.
◆ ORDER_ASSUMPTION_BY_WEIGHT
| ORDER_ASSUMPTION_BY_WEIGHT =(2) |
ORDER_ASSUMPTION_BY_WEIGHT = 2;
Definition at line 1948 of file SatParameters.java.
◆ ORDER_ASSUMPTION_BY_WEIGHT_VALUE
|
static |
ORDER_ASSUMPTION_BY_WEIGHT = 2;
Definition at line 1962 of file SatParameters.java.
The documentation for this enum was generated from the following file: