- MAX - jsetl.VarHeuristic
-
Selects the leftmost variable with the greatest least upper bound.
- MAX_ARGUMENTS_PER_CONSTRAINT - Static variable in class jsetl.Constraint
-
The maximum number of arguments that can be passed to the constructor of a constraint (excluding name and code).
- maximize(IntLVar) - Method in class jsetl.Solver
-
Maximises the given integer logical variable and returns its maximum
(in the context of the current constraint store).
- MEDIAN - jsetl.ValHeuristic
-
Selects the median value of D_x.
- MID_MOST - jsetl.ValHeuristic
-
Selects the middle point of the 'central' interval I_k with k = n/2.
- MID_MOST - jsetl.VarHeuristic
-
Selects the midmost variable x_k, where k = n/2.
- MID_RANDOM - jsetl.ValHeuristic
-
Selects the midpoint of an interval I_k, where k is a pseudorandom equidistributed value in {1,...
- MIN - jsetl.VarHeuristic
-
Selects the leftmost variable with the smallest greatest lower bound.
- minimize(IntLVar) - Method in class jsetl.Solver
-
Minimizes the given integer logical variable and returns its minimum
(in the context of the current constraint store).
- mkIntList(int) - Static method in class jsetl.LList
-
Constructs and returns a closed logical list containing length unbound IntLVars.
- mkIntSet(int) - Static method in class jsetl.IntLSet
-
Constructs and returns a closed logical set containing n unbound IntLVars.
- mkList(int) - Static method in class jsetl.LList
-
Constructs and returns a closed logical list containing length unbound LVars.
- mkSet(int) - Static method in class jsetl.LSet
-
Constructs and returns a closed logical set containing numberOfElements unbound LVars.
- mod(Integer) - Method in class jsetl.IntLVar
-
Constructs and returns a logical variable which is equal to this mod integer.
- mod(IntLVar) - Method in class jsetl.IntLVar
-
Constructs and returns a logical variable which is equal to this mod intLVar.
- mul(Integer) - Method in class jsetl.IntLVar
-
Constructs and returns a logical variable which is the multiplication of this with the parameter integer.
- mul(IntLVar) - Method in class jsetl.IntLVar
-
Constructs and returns a logical variable which is the multiplication of this with the parameter intLVar.
- MultiInterval - Class in jsetl
-
This class represents a set of integers as a set of intervals of the form
[a_1, b_1] U [a_2, b_2] U ... U [a_n, b_n] in which for
each i = 1, ..., n we have that a_i <= b_i and
for each j > i we have that b_i < a_j - 1.
- MultiInterval() - Constructor for class jsetl.MultiInterval
-
Builds an empty multi-interval.
- MultiInterval(Integer) - Constructor for class jsetl.MultiInterval
-
Builds a multi-interval of the form [a, a] = {a}.
- MultiInterval(Integer, Integer) - Constructor for class jsetl.MultiInterval
-
Builds a multi-interval of the form [glb, lub].
- MultiInterval(Collection<Interval>) - Constructor for class jsetl.MultiInterval
-
Builds the multi-interval from a collection of intervals.
- MultiInterval(Set<Integer>) - Constructor for class jsetl.MultiInterval
-
Builds the multi-interval from a set of integers.
- MultiInterval(Interval) - Constructor for class jsetl.MultiInterval
-
Builds the multi-interval corresponding to the interval
interval.
- MultiInterval(MultiInterval) - Constructor for class jsetl.MultiInterval
-
Constructs a copy of the MultiInterval.