Java Reference

Java Reference

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 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< MaxSatAssumptionOrderinternalGetValueMap ()
 
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()

static MaxSatAssumptionOrder forNumber ( int  value)
inlinestatic
Parameters
valueThe 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()

static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor ( )
inlinestatic

Definition at line 2013 of file SatParameters.java.

◆ getDescriptorForType()

final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType ( )
inline

Definition at line 2009 of file SatParameters.java.

◆ getNumber()

final int getNumber ( )
inline

Definition at line 1965 of file SatParameters.java.

◆ getValueDescriptor()

final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor ( )
inline

Definition at line 2005 of file SatParameters.java.

◆ internalGetValueMap()

static com.google.protobuf.Internal.EnumLiteMap<MaxSatAssumptionOrder> internalGetValueMap ( )
inlinestatic

Definition at line 1993 of file SatParameters.java.

◆ valueOf() [1/2]

static MaxSatAssumptionOrder valueOf ( com.google.protobuf.Descriptors.EnumValueDescriptor  desc)
inlinestatic

Definition at line 2019 of file SatParameters.java.

◆ valueOf() [2/2]

.lang.Deprecated static MaxSatAssumptionOrder valueOf ( int  value)
inlinestatic
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 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

final int DEFAULT_ASSUMPTION_ORDER_VALUE = 0
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

final int ORDER_ASSUMPTION_BY_DEPTH_VALUE = 1
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

final int ORDER_ASSUMPTION_BY_WEIGHT_VALUE = 2
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: