Java Reference

Java Reference

Detailed Description

What stratification algorithm we use in the presence of weight.

Protobuf enum

operations_research.sat.SatParameters.MaxSatStratificationAlgorithm

Definition at line 2181 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 MaxSatStratificationAlgorithm valueOf (int value)
 
static MaxSatStratificationAlgorithm forNumber (int value)
 
static com.google.protobuf.Internal.EnumLiteMap< MaxSatStratificationAlgorithminternalGetValueMap ()
 
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor ()
 
static MaxSatStratificationAlgorithm valueOf (com.google.protobuf.Descriptors.EnumValueDescriptor desc)
 

Public Attributes

 STRATIFICATION_NONE =(0)
 
 STRATIFICATION_DESCENT =(1)
 
 STRATIFICATION_ASCENT =(2)
 

Static Public Attributes

static final int STRATIFICATION_NONE_VALUE = 0
 
static final int STRATIFICATION_DESCENT_VALUE = 1
 
static final int STRATIFICATION_ASCENT_VALUE = 2
 

Member Function Documentation

◆ forNumber()

static MaxSatStratificationAlgorithm 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 2261 of file SatParameters.java.

◆ getDescriptor()

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

Definition at line 2291 of file SatParameters.java.

◆ getDescriptorForType()

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

Definition at line 2287 of file SatParameters.java.

◆ getNumber()

final int getNumber ( )

Definition at line 2243 of file SatParameters.java.

◆ getValueDescriptor()

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

Definition at line 2283 of file SatParameters.java.

◆ internalGetValueMap()

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

Definition at line 2271 of file SatParameters.java.

◆ valueOf() [1/2]

static MaxSatStratificationAlgorithm valueOf ( com.google.protobuf.Descriptors.EnumValueDescriptor  desc)
static

Definition at line 2297 of file SatParameters.java.

◆ valueOf() [2/2]

.lang.Deprecated static MaxSatStratificationAlgorithm 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 2253 of file SatParameters.java.

Member Data Documentation

◆ STRATIFICATION_ASCENT

STRATIFICATION_ASCENT =(2)
Start with all literals. Each time a core is found with a given minimum
weight, do not consider literals with a lower weight for the next core
computation. If the subproblem is SAT, do like in STRATIFICATION_DESCENT
and just add the literals with the next highest weight.

STRATIFICATION_ASCENT = 2;

Definition at line 2210 of file SatParameters.java.

◆ STRATIFICATION_ASCENT_VALUE

final int STRATIFICATION_ASCENT_VALUE = 2
static
Start with all literals. Each time a core is found with a given minimum
weight, do not consider literals with a lower weight for the next core
computation. If the subproblem is SAT, do like in STRATIFICATION_DESCENT
and just add the literals with the next highest weight.

STRATIFICATION_ASCENT = 2;

Definition at line 2240 of file SatParameters.java.

◆ STRATIFICATION_DESCENT

STRATIFICATION_DESCENT =(1)
Start with literals with the highest weight, and when SAT, add the
literals with the next highest weight and so on.

STRATIFICATION_DESCENT = 1;

Definition at line 2199 of file SatParameters.java.

◆ STRATIFICATION_DESCENT_VALUE

final int STRATIFICATION_DESCENT_VALUE = 1
static
Start with literals with the highest weight, and when SAT, add the
literals with the next highest weight and so on.

STRATIFICATION_DESCENT = 1;

Definition at line 2229 of file SatParameters.java.

◆ STRATIFICATION_NONE

STRATIFICATION_NONE =(0)
No stratification of the problem.

STRATIFICATION_NONE = 0;

Definition at line 2190 of file SatParameters.java.

◆ STRATIFICATION_NONE_VALUE

final int STRATIFICATION_NONE_VALUE = 0
static
No stratification of the problem.

STRATIFICATION_NONE = 0;

Definition at line 2220 of file SatParameters.java.


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