- label() - Method in class jsetl.BoolLVar
-
Constructs and returns a new constraint conjunction which tells the solver to label the object.
- label() - Method in class jsetl.IntLVar
-
A constraint which labels this variable giving it subsequent values taken from its domain.
- label() - Method in class jsetl.SetLVar
-
Returns a labeling constraint for this with default labeling options.
- label(List<BoolLVar>) - Static method in class jsetl.BoolLVar
-
Constructs and returns a new constraint conjunction which tells the solver to label the boolean logical variables in list.
- label(List<IntLVar>) - Static method in class jsetl.IntLVar
-
A constraint which labels each variable in list giving them subsequent values taken from their domains.
- label(List<SetLVar>) - Static method in class jsetl.SetLVar
-
Returns a labeling constraint for each SetLVar in setLVars with default labeling options.
- label(BoolHeuristic) - Method in class jsetl.BoolLVar
-
Constructs and returns a new constraint conjunction which tells the solver to label the object using the given heuristic.
- label(BoolLVar...) - Static method in class jsetl.BoolLVar
-
Constructs and returns a new constraint conjunction which tells the solver to label the boolean logical variables in boolLVars.
- label(IntLVar...) - Static method in class jsetl.IntLVar
-
A constraint which labels each variable in intLVars giving them subsequent values taken from their domains.
- label(LabelingOptions) - Method in class jsetl.BoolLVar
-
Constructs and returns a new constraint conjunction which tells the solver to label the object using the given labeling options.
- label(LabelingOptions) - Method in class jsetl.IntLVar
-
A constraint which labels this variable giving it subsequent values taken from its domain using the given labeling options.
- label(LabelingOptions) - Method in class jsetl.SetLVar
-
Returns a labeling constraint for this with given labeling options.
- label(LabelingOptions, List<BoolLVar>) - Static method in class jsetl.BoolLVar
-
Constructs and returns a new constraint conjunction which tells the solver to label the boolean logical variables in list
using the given labeling options.
- label(LabelingOptions, List<IntLVar>) - Static method in class jsetl.IntLVar
-
A constraint which labels each variable in list giving them subsequent values taken from their domains.
- label(LabelingOptions, List<SetLVar>) - Static method in class jsetl.SetLVar
-
Returns a labeling constraint for each SetLVar in setLVars with given labeling options.
- label(LabelingOptions, BoolLVar...) - Static method in class jsetl.BoolLVar
-
Constructs and returns a new constraint conjunction which tells the solver to label the boolean logical variables in boolLVars
using the given labeling options.
- label(LabelingOptions, IntLVar...) - Static method in class jsetl.IntLVar
-
A constraint which labels each variable in intLVars giving them subsequent values taken from their domains.
- label(LabelingOptions, SetLVar...) - Static method in class jsetl.SetLVar
-
Returns a labeling constraint for each SetLVar in setLVars with given labeling options.
- label(SetLVar...) - Static method in class jsetl.SetLVar
-
Returns a labeling constraint for each SetLVar in setLVars with default labeling options.
- label(ValHeuristic) - Method in class jsetl.IntLVar
-
A constraint which labels this variable giving it subsequent values taken from its domain using the given heuristic.
- labelAll() - Method in class jsetl.IntLSet
-
Creates a constraint which requires the labeling of all known variables in this set at the moment of the execution of this method.
- labelAll(LabelingOptions) - Method in class jsetl.IntLSet
-
Creates a constraint which requires the labeling of all known variables in this set at the moment of the execution of this method
The constraint resolution will use the given labeling option labelingOptions.
- LabelingOptions - Class in jsetl
-
Objects of this class provide options for labeling variables of type 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.
- LabelingOptions() - Constructor for class jsetl.LabelingOptions
-
Creates a new object of class LabelingOptions with each public field (heuristics) initialized with its default value.
- LCollection - Class in jsetl
-
This class implements logical collections.
- le(Integer) - Method in class jsetl.IntLVar
-
Constraint which is satisfied if and only if this is less than or equal to integer.
- le(IntLVar) - Method in class jsetl.IntLVar
-
Constraint which is satisfied if and only if this is less than or equal to intLVar.
- LEFT_MOST - jsetl.VarHeuristic
-
Selects the leftmost variable x_1.
- less(Object, Set<?>) - Method in class jsetl.LSet
-
Returns a constraint conjunction whose sole atomic constraint demands that this - {object} == set.
- less(Object, LSet) - Method in class jsetl.LSet
-
Returns a constraint conjunction whose sole atomic constraint demands that this - {object} == lSet.
- less(LVar, Set<?>) - Method in class jsetl.LSet
-
Returns a constraint conjunction whose sole atomic constraint demands that this - {lVar} == set.
- less(LVar, LSet) - Method in class jsetl.LSet
-
Returns a constraint conjunction whose sole atomic constraint demands that this - {lVar} == lSet.
- LList - Class in jsetl
-
This class implements logical lists, which are a type of logical collections.
- LList() - Constructor for class jsetl.LList
-
Constructs an unbound logical list with default name.
- LList(String) - Constructor for class jsetl.LList
-
Constructs an unbound logical list with a given name.
- LList(String, List<?>) - Constructor for class jsetl.LList
-
Constructs a (completely specified) logical list with value elements and given name.
- LList(String, LList) - Constructor for class jsetl.LList
-
Constructs a logical list equal to the logical list lList and with given name.
- LList(List<?>) - Constructor for class jsetl.LList
-
Constructs a (completely specified) logical list with value a elements and default name.
- LList(LList) - Constructor for class jsetl.LList
-
Constructs a logical list equal to the logical list lList and with default name.
- LMap - Class in jsetl
-
Instances of this class are logical maps, i.e., logical sets whose
elements are logical pairs that denote partial functions.
- LMap() - Constructor for class jsetl.LMap
-
Constructs an unspecified logical map with default name.
- LMap(String) - Constructor for class jsetl.LMap
-
Constructs an unbound logical map with given name.
- LMap(String, Set<LPair>) - Constructor for class jsetl.LMap
-
Constructs a bound and closed logical map whose elements are those in set and with a given name.
- LMap(String, LMap) - Constructor for class jsetl.LMap
-
Constructs a logical map which is equal to the parameter lMap and with given name.
- LMap(Set<LPair>) - Constructor for class jsetl.LMap
-
Constructs a bound and closed logical map whose elements are those in set and with a default name.
- LMap(LMap) - Constructor for class jsetl.LMap
-
Constructs a logical map which is equal to the parameter lMap and with default name.
- LObject - Class in jsetl
-
This class implements logical objects, i.e., objects which can be used to post constraints and can be uninitialized.
- LObject() - Constructor for class jsetl.LObject
-
Constructs a not initialized logical object with default name.
- LObject(String) - Constructor for class jsetl.LObject
-
Constructs a not initialized logical object with a specified name.
- LPair - Class in jsetl
-
Objects of this class are logical lists that can only represent pairs, i.e., logical pairs.
- LPair() - Constructor for class jsetl.LPair
-
Constructs an unbound logical pair with default name.
- LPair(Object, Object) - Constructor for class jsetl.LPair
-
Constructs a logical pair [first,second] with default name.
- LPair(String) - Constructor for class jsetl.LPair
-
Constructs an unbound logical pair with name name.
- LPair(String, Object, Object) - Constructor for class jsetl.LPair
-
Constructs a logical pair [first,second] with external name name.
- LPair(String, LPair) - Constructor for class jsetl.LPair
-
Constructs a logical pair equal to the logical pair lPair with the given name.
- LPair(LPair) - Constructor for class jsetl.LPair
-
Constructs a logical pair equal to the logical pair lPair with default name.
- LRel - Class in jsetl
-
The class LRel implements logical relations, which are a type of logical sets
whose elements are logical pairs.
- LRel() - Constructor for class jsetl.LRel
-
Constructs an unspecified logical relation with default name.
- LRel(String) - Constructor for class jsetl.LRel
-
Constructs an unspecified logical relation with given name.
- LRel(String, Set<LPair>) - Constructor for class jsetl.LRel
-
Constructs a bound and closed logical relation whose elements are those in set and with a given name.
- LRel(String, LRel) - Constructor for class jsetl.LRel
-
Constructs a logical relation which is equal to the parameter lRel and with given name.
- LRel(Set<LPair>) - Constructor for class jsetl.LRel
-
Constructs a bound and closed logical relation whose elements are those in set and with a default name.
- LRel(LRel) - Constructor for class jsetl.LRel
-
Constructs a logical relation which is equal to the parameter lRel and with default name.
- LSet - Class in jsetl
-
This class implements logical sets, i.e. a type of logical collection in which the order and repetition of elements don't matter.
- LSet() - Constructor for class jsetl.LSet
-
Constructs an unspecified logical set with default name.
- LSet(String) - Constructor for class jsetl.LSet
-
Constructs an unspecified logical set with given name.
- LSet(String, Set<?>) - Constructor for class jsetl.LSet
-
Constructs a bound and closed logical set whose elements are those in set and with a given name.
- LSet(String, LSet) - Constructor for class jsetl.LSet
-
Constructs a logical set which is equal to the parameter set and with given name.
- LSet(Set<?>) - Constructor for class jsetl.LSet
-
Constructs a bound and closed logical set whose elements are those in set and with a default name.
- LSet(LSet) - Constructor for class jsetl.LSet
-
Constructs a logical set which is equal to the parameter lSet and with default name.
- lt(Integer) - Method in class jsetl.IntLVar
-
Constraint which is satisfied if and only if this is less than integer.
- lt(IntLVar) - Method in class jsetl.IntLVar
-
Constraint which is satisfied if and only if this is less than intLVar.
- LUB - jsetl.ValHeuristic
-
Selects the LUB (least upper bound) of D_x.
- LVar - Class in jsetl
-
This class provides implementation for logical variables.
- LVar() - Constructor for class jsetl.LVar
-
Constructs a not initialized logical variable with default name.
- LVar(Object) - Constructor for class jsetl.LVar
-
Constructs an initialized logical variable with given value and default name.
- LVar(String) - Constructor for class jsetl.LVar
-
Constructs a not initialized logical variable with a specified name.
- LVar(String, Object) - Constructor for class jsetl.LVar
-
Constructs an initialized logical variable with given value and name.
- LVar(String, LVar) - Constructor for class jsetl.LVar
-
Constructs a logical variable equal to the logical variable lVar and with a specified name.
- LVar(LVar) - Constructor for class jsetl.LVar
-
Constructs a logical variable equal to the logical variable lVar.