- union(Set<?>, Set<?>) - Method in class jsetl.LSet
-
Returns a constraint conjunction whose sole atomic constraint demands that this union set1 == set2.
- union(Set<?>, LSet) - Method in class jsetl.LSet
-
Returns a constraint conjunction whose sole atomic constraint demands that this union set == lSet.
- union(LSet, Set<?>) - Method in class jsetl.LSet
-
Returns a constraint conjunction whose sole atomic constraint demands that this union lSet == set.
- union(LSet, LSet) - Method in class jsetl.LSet
-
Returns a constraint conjunction whose sole atomic constraint demands that this union lSet1 == lSet2.
- union(MultiInterval) - Method in class jsetl.MultiInterval
-
Returns the multi-interval corresponding to the union between
this and multiInterval.
- union(MultiInterval) - Method in class jsetl.SetLVar
-
Constructs and returns a new integer set variable which is the result of the union of this and multiInterval.
- union(SetLVar) - Method in class jsetl.SetLVar
-
Constructs and returns a new integer set variable which is the result of the union of this and setLVar.
- universe() - Static method in class jsetl.Interval
-
Returns an interval representing the entire universe of representable values.
- universe() - Static method in class jsetl.MultiInterval
-
Returns the multi-interval corresponding to the 'universe', i.e. the
maximum representable multi-interval.
- universe() - Static method in class jsetl.SetInterval
-
Returns a new set interval which is the universe.
- UnsafeRisException() - Constructor for exception jsetl.Solver.UnsafeRisException
-
- UnsupportedHeuristicException - Exception in jsetl.exception
-
Exception raised by LabelingOptions when an heuristic is not supported by the method that is asked to use it.
- UnsupportedHeuristicException() - Constructor for exception jsetl.exception.UnsupportedHeuristicException
-
- UnsupportedOperation - Annotation Type in jsetl.annotation
-
The annotated method is not currently supported and throws an UnsupportedOperationException when called.
- USEJOLLYTOKEN - Static variable in class jsetl.LObject
-
If true the name of internal variables (that are not dummy IntLVar)
will be of the form "?"