public class LabelingOptions
extends java.lang.Object
IntLVar
, SetLVar
and BoolLVar
It provides methods to assign the first value to a IntLVar
, SetLVar
and BoolLVar
and
to choose which variable to label first out of a list of variables.Modifier and Type | Field | Description |
---|---|---|
BoolHeuristic |
valueForBoolLVar |
Heuristic to use when giving values to a
BoolLVar when labeling. |
ValHeuristic |
valueForIntLVar |
Heuristic to use when giving values to an
IntLVar when labeling. |
SetHeuristic |
valueForSetLVar |
Heuristic to use when giving values to a
SetLVar when labeling. |
VarHeuristic |
variableChosenInAList |
Heuristic to use when choosing which variable to label first in a list
|
Constructor | Description |
---|---|
LabelingOptions() |
Creates a new object of class LabelingOptions with each public field (heuristics) initialized with its default value.
|
public ValHeuristic valueForIntLVar
IntLVar
when labeling.public VarHeuristic variableChosenInAList
public SetHeuristic valueForSetLVar
SetLVar
when labeling.public BoolHeuristic valueForBoolLVar
BoolLVar
when labeling.