- ran(LSet) - Method in class jsetl.LMap
-
This method creates the "ran" constraint.
- ran(LSet) - Method in class jsetl.LRel
-
This method creates the "ran" constraint.
- RANDOM - jsetl.BoolHeuristic
-
Choose the order of true and false randomly.
- RANDOM - jsetl.VarHeuristic
-
Selects a variable x_k, where k is a pseudorandom equidistributed value in {1,...
- RANGE_RANDOM - jsetl.ValHeuristic
-
Selects a pseudorandom equidistributed value in I_k, where k is a pseudorandom equidistributed value in {1,...
- remove(Object) - Method in class jsetl.MultiInterval
-
Removes an integer from this multi-interval.
- removeAll(Collection<?>) - Method in class jsetl.MultiInterval
-
Removes all elements (which must be integers) of collection from this.
- retainAll(Collection<?>) - Method in class jsetl.MultiInterval
-
Removes each integer that is not an element of collection from this multi-interval.
- RIGHT_MOST - jsetl.VarHeuristic
-
Selects the rightmost variable x_n.
- Ris - Class in jsetl
-
Objects of this class are restricted intentional sets of the form {x : D | F(x) @ P(x)}, which denote the intensional
set {P(x) | x in D and F(x)}.
- Ris(LObject, LSet, Constraint) - Constructor for class jsetl.Ris
-
Constructs the restricted intensional set {controlTerm : domain | filter @ controlTerm}.
- Ris(LObject, LSet, Constraint, LObject, LObject...) - Constructor for class jsetl.Ris
-
Constructs the restricted intensional set {controlTerm : domain | filter @ pattern} and treats each variable in
dummyVariables as a dummy variable (i.e. creates a new instance for every application of filter and pattern).
- Ris(Ris) - Constructor for class jsetl.Ris
-
Constructs a restricted intensional set that has the same controlTerm, domain, filter, pattern and
dummy variables as the argument ris.
- rres(LSet, LRel) - Method in class jsetl.LRel
-
This method creates a "rres" constraint of the form rres(this, lSet, lRel).