- test() - Method in class jsetl.Constraint
-
Solves this constraint using a local solver but leaving the constraint and all logical variables unchanged;
- test() - Method in class jsetl.Solver
-
Tests whether the constraint in the store is satisfiable but leaves each variable
that occur in the store unchanged.
- testContains(Object) - Method in class jsetl.LCollection
-
Tests whether the parameter is an element of this logical collection.
- toArray() - Method in class jsetl.LCollection
-
This method puts each known element of the collection (ignoring its tail) into an array of objects.
- toArray() - Method in class jsetl.MultiInterval
-
Returns an array containing all integers that are elements of this.
- toArray() - Method in class jsetl.Ris
-
Calling this method is the same as calling this.expand().toArray().
- toArray(T[]) - Method in class jsetl.MultiInterval
-
Puts all integers in this into array, if it can contain them, otherwise
creates a new array and puts all the integers into it.
- toSet() - Method in class jsetl.Interval
-
Returns a TreeSet containing each element in the interval.
- toSet() - Method in class jsetl.MultiInterval
-
Returns a Set representation of this.
- toString() - Method in class jsetl.Constraint
-
Gives a string representation of the constraint conjunction like "_x = 1 + 2 AND _x.label()"
- toString() - Method in class jsetl.CP
-
- toString() - Method in class jsetl.Interval
-
Returns a string representation of this.
- toString() - Method in class jsetl.IntLSet
-
- toString() - Method in class jsetl.LCollection
-
Returns a string corresponding to the object value.
- toString() - Method in class jsetl.LSet
-
Returns a string corresponding to the logical set value.
- toString() - Method in class jsetl.LVar
-
Returns a string corresponding to the logical variable value.
- toString() - Method in class jsetl.MultiInterval
-
Returns a string representation of this.
- toString() - Method in class jsetl.Ris
-
Constructs and returns a string representation of this restricted intensional set,
the string is of the form "{ controlTerm : domain | filter @ pattern }".
- toString() - Method in class jsetl.SetInterval
-
Creates and returns a string representation of this.
- toStringInternals() - Method in class jsetl.Constraint
-
Similar to the method Constraint#toString() but gives a different string representation: one of the form
"constraint(constraint_name, arg_1, arg_2, arg_3, arg_4) - alternative: index_of_alternative, solved?
- TRUE - jsetl.BoolHeuristic
-
Assign value true first when labeling.
- truec() - Static method in class jsetl.Constraint
-
Returns a constraint that is always satisfiable.
- truncDiv(Integer) - Method in class jsetl.IntLVar
-
Constructs and returns a logical variable which is the truncated division of this with the parameter integer.
- truncDiv(IntLVar) - Method in class jsetl.IntLVar
-
Constructs and returns a logical variable which is the truncated division of this with the parameter intLVar