- empty() - Static method in class jsetl.IntLSet
-
Returns an empty integer logical set.
- empty() - Static method in class jsetl.LList
-
Creates and returns the empty logical list.
- empty() - Static method in class jsetl.LMap
-
Creates an empty LMap.
- empty() - Static method in class jsetl.LRel
-
Creates an empty LRel.
- empty() - Static method in class jsetl.LSet
-
Creates and returns an empty logical set (completely specified).
- eq(Boolean) - Method in class jsetl.BoolLVar
-
Creates and returns a constraint which represents the equality between this and the parameter bool
The constraint created and returned contains the constraints in the field constraint of this.
- eq(Integer) - Method in class jsetl.IntLVar
-
Constraint of equality between this and integer.
- eq(Object) - Method in class jsetl.LVar
-
Constructs and returns a new constraint which demands that this is equal to object
- eq(Collection<IntLVar>) - Method in class jsetl.SetLVar
-
Constructs and returns a constraint of the kind this = {x_1, x_2, ..., x_n} where intLVars
is a collection of integer logical variables x_1, x_2, ..., x_n.
- eq(Collection<IntLVar>, SetLVar) - Method in class jsetl.SetLVar
-
Constructs and returns a constraint of the kind this = {x_1, x_2, ..., x_n | rest} where elements
is a collection of integer logical variables x_1, x_2, ..., x_n.
- eq(List<?>) - Method in class jsetl.LList
-
Constructs and returns a new constraint which demands that this is equal to list
- eq(Set<?>) - Method in class jsetl.LSet
-
Constructs and returns a new constraint which demands that this is equal to set
- eq(BoolLVar) - Method in class jsetl.BoolLVar
-
Creates and returns a constraint which represents the equality between this and the parameter other
The constraint created and returned contains the constraints in the field constraint of both this and other
- eq(IntLVar) - Method in class jsetl.IntLVar
-
Constraint of equality between this and intLVar.
- eq(IntLVar) - Method in class jsetl.SetLVar
-
Constructs and returns a constraint of the kind this = {element}.
- eq(IntLVar[]) - Method in class jsetl.SetLVar
-
Constructs and returns a constraint of the kind this = {x_1, x_2, ..., x_n} where intLVars
is an array of integer logical variables x_1, x_2, ..., x_n.
- eq(IntLVar[], SetLVar) - Method in class jsetl.SetLVar
-
Constructs and returns a constraint of the kind this = {x_1, x_2, ..., x_n | R} where coll
is an array of integer logical variables x_1, x_2, ..., x_n.
- eq(IntLVar, SetLVar) - Method in class jsetl.SetLVar
-
Constructs and returns a constraint of the kind this = {element | rest}.
- eq(LList) - Method in class jsetl.LList
-
Constructs and returns a new constraint which demands that this is equal to lList
- eq(LSet) - Method in class jsetl.LSet
-
Constructs and returns a new constraint which demands that this is equal to lSet.
- eq(MultiInterval) - Method in class jsetl.SetLVar
-
Returns a new constraint which demands that this == multiInterval.
- eq(SetLVar) - Method in class jsetl.SetLVar
-
Returns a new constraint which demands that this == setLVar.
- equals(Object) - Method in class jsetl.Constraint
-
Checks whether this object is equal to other.
- equals(Object) - Method in class jsetl.Interval
-
Returns true if and only if this is equal
to obj.
- equals(Object) - Method in class jsetl.IntLVar
-
Checks whether this variable is equal to the parameter other.
- equals(Object) - Method in class jsetl.LList
-
Checks whether this LList is equal to the specified Object.
- equals(Object) - Method in class jsetl.LSet
-
Checks whether this LSet is equal to the specified Object.
- equals(Object) - Method in class jsetl.LVar
-
Tests if this logical variable is equal to the given object.
- equals(Object) - Method in class jsetl.MultiInterval
-
Checks whether this is equal to object.
- equals(Object) - Method in class jsetl.Ris
-
Checks whether this object is equal to the parameter object.
- equals(Object) - Method in class jsetl.SetInterval
-
Checks whether this and object are equal.
- equals(Object) - Method in class jsetl.SetLVar
-
Tests whether this is equal to other.
- equals(CP) - Method in class jsetl.CP
-
- EQUI_RANDOM - jsetl.ValHeuristic
-
Selects a pseudorandom equidistributed value in D_x.
- expand() - Method in class jsetl.CP
-
- expand() - Method in class jsetl.Ris
-
Returns a logical set containing the expansion of this Ris, if it is expandable.