- diff(Set<?>, Set<?>) - Method in class jsetl.LSet
-
Returns a constraint conjunction whose sole atomic constraint demands that this - set1 == set2.
- diff(Set<?>, LSet) - Method in class jsetl.LSet
-
Returns a constraint conjunction whose sole atomic constraint demands that this - set == lSet.
- diff(LSet, Set<?>) - Method in class jsetl.LSet
-
Returns a constraint conjunction whose sole atomic constraint demands that this - lSet == set.
- diff(LSet, LSet) - Method in class jsetl.LSet
-
Returns a constraint conjunction whose sole atomic constraint demands that this - lSet1 == lSet2.
- diff(MultiInterval) - Method in class jsetl.MultiInterval
-
Returns the multi-interval corresponding to the set difference between
this and multiInterval.
- diff(MultiInterval) - Method in class jsetl.SetLVar
-
Constructs and returns a new integer set logical variable which is equal to the difference this - multiInterval.
- diff(SetLVar) - Method in class jsetl.SetLVar
-
Constructs and returns a new integer set logical variable which is equal to the difference this - setLVar.
- disj(Set<?>) - Method in class jsetl.LSet
-
Returns a constraint conjunction whose sole atomic constraint demands that this and set are disjoint.
- disj(LSet) - Method in class jsetl.LSet
-
Returns a constraint conjunction whose sole atomic constraint demands that this and lSet are disjoint.
- disj(MultiInterval) - Method in class jsetl.SetLVar
-
Returns a new constraint which demands that this and multiInterval are disjoint.
- disj(SetLVar) - Method in class jsetl.SetLVar
-
Returns a new constraint which demands that this and setLVar are disjoint.
- div(Integer) - Method in class jsetl.IntLVar
-
Constructs and returns a logical variable which is the (exact) division of this with the parameter integer.
- div(IntLVar) - Method in class jsetl.IntLVar
-
Constructs and returns a logical variable which is the (exact) division of this with the parameter intLVar.
- dom(Integer, Integer) - Method in class jsetl.IntLVar
-
Generates glb constraint which is satisfiable if and only if this is in the interval [glb,lub].
- dom(Set<Integer>) - Method in class jsetl.IntLVar
-
Generates a constraint which is satisfiable if and only if this is in the set integers.
- dom(LSet) - Method in class jsetl.LMap
-
This method creates the "dom" constraint.
- dom(LSet) - Method in class jsetl.LRel
-
This method creates the "dom" constraint.
- dom(MultiInterval) - Method in class jsetl.IntLVar
-
Generates a constraint which is satisfiable if and only if this is in the multi-interval multiInterval.
- dom(MultiInterval, MultiInterval) - Method in class jsetl.SetLVar
-
Returns glb new constraint which demands that the domain of this is contained in the set interval [glb,lub].
- dom(SetInterval) - Method in class jsetl.SetLVar
-
Returns a new constraint which demands that the domain of this is contained in the domain interval domain.
- domAll(int, int) - Method in class jsetl.IntLSet
-
Creates glb constraint which requires that all IntLVars in this set have their domains intersect the interval [glb,lub].
- dres(LSet, LRel) - Method in class jsetl.LRel
-
This method creates a "dres" constraint of the form dres(this, lSet, lRel).