A B C D E F G H I J L M N O P R S T U V

I

id() - Method in class jsetl.LRel

This method creates an "id" constraint, which requires that this is a identity relation over some logical set.

id(LSet) - Method in class jsetl.LRel

This method creates an "id" constraint.

iff(BoolLVar) - Method in class jsetl.BoolLVar

Creates and returns a boolean logical variable which is the result of the expression this iff other.

implies(BoolLVar) - Method in class jsetl.BoolLVar

Creates and returns a boolean logical variable which is the result of the expression this implies other.

impliesTest(Constraint) - Method in class jsetl.Constraint

Deterministic "implication test" (A implies B) between this constraint conjunction and the parameter constraint.

in(Set<?>) - Method in class jsetl.LObject

Constructs and returns a new constraint which demands that this is an element of set.

in(LSet) - Method in class jsetl.LObject

Constructs and returns a new constraint which demands that this is an element of lSet.

in(MultiInterval) - Method in class jsetl.IntLVar

Creates a constraint which is satisfiable if and only if this is an element of multiInterval.

in(SetLVar) - Method in class jsetl.IntLVar

Creates a constraint which is satisfiable if and only if this is an element of setLVar.

INF - Static variable in class jsetl.Interval

Minimum representable value.

INF - Static variable in class jsetl.MultiInterval

Infimum, Lowest representable value

INF - Static variable in class jsetl.SetInterval

Infimum, least possible set (empty set).

InitLObjectException - Exception in jsetl.exception

The InitLObjectException exception is thrown when a logical object should be uninitialized but it is initialized.

InitLObjectException() - Constructor for exception jsetl.exception.InitLObjectException

ins(Integer) - Method in class jsetl.IntLSet

Computes and returns a new IntLSet which is equal to this set with the addition of the element integer.

ins(Integer...) - Method in class jsetl.IntLSet

Computes and returns a new IntLSet which is equal to this set with the addition of the elements in integers.

ins(Object...) - Method in class jsetl.LList

Constructs a new logical list which is the result of the addition of objects to the head of this logical list.

ins(Object...) - Method in class jsetl.LSet

Creates and returns a new logical set obtained from the union of this with {object}.

ins(IntLVar) - Method in class jsetl.IntLSet

Computes and returns a new IntLSet which is equal to this set with the addition of the element intLVar.

ins(IntLVar...) - Method in class jsetl.IntLSet

Computes and returns a new IntLSet which is equal to this set with the addition of the elements in intLVars.

ins(LPair) - Method in class jsetl.LMap

Creates and returns a new logical map obtained from the union of this with {lPair}.

ins(LPair) - Method in class jsetl.LRel

Creates and returns a new logical relation obtained from the union of this with {lPair}.

ins(LPair...) - Method in class jsetl.LMap

Creates and returns a new logical map obtained from the union of this with the set of lPairs.

ins(LPair...) - Method in class jsetl.LRel

Creates and returns a new logical relation obtained from this by adding all elements of the parameter lPairs.

insAll(Integer[]) - Method in class jsetl.IntLSet

Computes and returns a new IntLSet which is equal to this set with the addition of the elements in integers.

insAll(Object[]) - Method in class jsetl.LList

Constructs a new logical list which is the result of the addition of each object in objects to the head of this logical list.

insAll(Object[]) - Method in class jsetl.LSet

Creates and returns a new logical set obtained from this by adding all elements of the parameter objects.

insAll(ArrayList<Integer>) - Method in class jsetl.IntLSet

Computes and returns a new IntLSet which is equal to this set with the addition of the elements in integers.

insAll(ArrayList<LPair>) - Method in class jsetl.LMap

Creates and returns a new logical set obtained from this by adding all elements of the parameter newElements.

insAll(ArrayList<LPair>) - Method in class jsetl.LRel

Creates and returns a new logical s obtained from this by adding all elements of the parameter newElements.

insAll(Collection<?>) - Method in class jsetl.LList

Constructs a new logical list which is the result of the addition of each object in objects to the head of this logical list.

insAll(Collection<?>) - Method in class jsetl.LSet

Creates and returns a new logical set obtained from this by adding all elements of the parameter newElements.

insAll(IntLVar[]) - Method in class jsetl.IntLSet

Computes and returns a new IntLSet which is equal to this set with the addition of the elements in intLVars.

insAll(LPair[]) - Method in class jsetl.LMap

Creates and returns a new logical map obtained from this by adding all elements of the parameter lPairs.

insAll(LPair[]) - Method in class jsetl.LRel

Creates and returns a new logical relation obtained from this by adding all elements of the parameter lPairs.

insn(Object) - Method in class jsetl.LList

Constructs a new logical list which is the result of the addition of object as the last (known) element of this logical list.

inters(Set<?>, Set<?>) - Method in class jsetl.LSet

Returns a constraint conjunction whose sole atomic constraint demands that this intersection set1 == set2.

inters(Set<?>, LSet) - Method in class jsetl.LSet

Returns a constraint conjunction whose sole atomic constraint demands that this intersection set == lSet.

inters(LSet, Set<?>) - Method in class jsetl.LSet

Returns a constraint conjunction whose sole atomic constraint demands that this intersection lSet == set.

inters(LSet, LSet) - Method in class jsetl.LSet

Returns a constraint conjunction whose sole atomic constraint demands that this intersection lSet1 == lSet2.

intersect(Interval) - Method in class jsetl.Interval

Returns the interval corresponding to the intersection between this and interval.

intersect(MultiInterval) - Method in class jsetl.MultiInterval

Returns the multi-interval corresponding to the intersection between this and multiInterval.

intersect(MultiInterval) - Method in class jsetl.SetLVar

Creates and returns a new integer set variable which is the intersection of this and multiInterval.

intersect(SetInterval) - Method in class jsetl.SetInterval

Computes and returns the intersection of this with setInterval

intersect(SetLVar) - Method in class jsetl.SetLVar

Creates and returns a new integer set variable which is the intersection of this and setLVar.

Interval - Class in jsetl

This class represents a set of integers as an interval of the form [glb, lub].

Interval() - Constructor for class jsetl.Interval

Builds an empty interval.

Interval(Integer) - Constructor for class jsetl.Interval

Builds the interval [x, x], i.e. the singleton {x}.

Interval(Integer, Integer) - Constructor for class jsetl.Interval

Builds the interval [lb, ub].

Interval(Set<Integer>) - Constructor for class jsetl.Interval

Construct a new interval which contains every representable value in set.

Interval(Interval) - Constructor for class jsetl.Interval

Constructs a copy of the Interval.

IntLSet - Class in jsetl

Logical set whose elements can only be integers (or logical variables with integer values, namely IntLVars).

IntLSet() - Constructor for class jsetl.IntLSet

Constructs a not initialized set with a default name.

IntLSet(int, int) - Constructor for class jsetl.IntLSet

Constructs a set containing all the integers from p to q (i.e. the interval [p,q]) with a default name.

IntLSet(String) - Constructor for class jsetl.IntLSet

Constructs a not initialized set with the given name.

IntLSet(String, int, int) - Constructor for class jsetl.IntLSet

Constructs a set containing all the integers from p to q (i.e. the interval [p,q]) with the given name.

IntLSet(String, Set<Integer>) - Constructor for class jsetl.IntLSet

Constructs an initialized set whose values are the values of set with the given name

IntLSet(String, IntLSet) - Constructor for class jsetl.IntLSet

Constructs a new set equal to intLSet with a given name.

IntLSet(String, MultiInterval) - Constructor for class jsetl.IntLSet

Constructs an initialized set with all the integers contained in the multi interval multiInterval and the given name.

IntLSet(Set<Integer>) - Constructor for class jsetl.IntLSet

Constructs an initialized set whose values are the values of set with a default name

IntLSet(IntLSet) - Constructor for class jsetl.IntLSet

Constructs a new set equal to intLSet with a default name.

IntLSet(MultiInterval) - Constructor for class jsetl.IntLSet

Creates an integer logical set containing each element of multiInterval.

IntLVar - Class in jsetl

Objects of this class are logical variables whose values can only be integers.

IntLVar() - Constructor for class jsetl.IntLVar

Constructs a not initialized integer logical variable with a default name.

IntLVar(Integer) - Constructor for class jsetl.IntLVar

Constructs a logical variable with an integer value and default name.

IntLVar(Integer, Integer) - Constructor for class jsetl.IntLVar

Constructs an (unbound) logical variable with domain [glb, lub] with default name.

IntLVar(String) - Constructor for class jsetl.IntLVar

Constructs a not initialized integer logical variable with the given name name.

IntLVar(String, Integer) - Constructor for class jsetl.IntLVar

Constructs a logical variable with an integer value value and a specified name.

IntLVar(String, Integer, Integer) - Constructor for class jsetl.IntLVar

Constructs an (unbound) logical variable with domain [glb,lub] and with glb specified name.

IntLVar(String, IntLVar) - Constructor for class jsetl.IntLVar

Constructs a logical variable equal to the logical variable intLVar and with a specified name.

IntLVar(String, MultiInterval) - Constructor for class jsetl.IntLVar

Constructs an (unbound) logical variable with given domain and with a specified name.

IntLVar(IntLVar) - Constructor for class jsetl.IntLVar

Constructs a logical variable equal to the logical variable intLVar.

IntLVar(MultiInterval) - Constructor for class jsetl.IntLVar

Constructs an (unbound) logical variable with a given domain and default name.

inv(LRel) - Method in class jsetl.LRel

This method creates an "inv" constraint which requires that lRel is the inverse relation of this.

isBound() - Method in class jsetl.LObject

Checks whether this logical object is bound or not.

isBound() - Method in class jsetl.Ris

Checks whether the Ris domain is bound or not.

isClosed() - Method in class jsetl.LCollection

Returns true if the tail of this logical collection is the empty collection (= closed collection); otherwise it returns false

isClosed() - Method in class jsetl.Ris

Checks whether the Ris domain is closed or not.

isEmpty() - Method in class jsetl.CP

isEmpty() - Method in class jsetl.Interval

Returns true if and only if this is empty.

isEmpty() - Method in class jsetl.LCollection

Tests if this logical collection is bound and empty.

isEmpty() - Method in class jsetl.MultiInterval

Checks whether this multi-interval represents the empty set or not.

isEmpty() - Method in class jsetl.SetInterval

Checks whether this is the empty set or not.

isExpandable() - Method in class jsetl.Ris

Checks whether this Ris is expandable or not.

isFalse() - Method in class jsetl.BoolLVar

Tests whether the value is false or not.

isGround() - Method in class jsetl.Constraint

Checks whether this constraint is ground (i.e. everything it contains is ground) or not.

isGround() - Method in class jsetl.CP

isGround() - Method in class jsetl.LCollection

Tests if this LCollection contains any non-ground logical object.

isGround() - Method in class jsetl.LObject

Returns true if the invocation object is ground, false if it isn't.

isGround() - Method in class jsetl.LVar

Returns true if the invocation object is ground, false if it isn't.

isGround() - Method in class jsetl.Ris

Checks whether the Ris is ground or not: it is if and only if its domain is ground.

isGround(Object) - Static method in class jsetl.LObject

Returns true if the given object is ground (i.e. it is not a logical object or it does not contain variables).

isRisExpansionCacheEnabled() - Method in class jsetl.Solver.OptimizationOptions

Returns true if the Ris expansion cache is enabled when solving constraints involving Ris.

isRisExpansionOptimizationEnabled() - Method in class jsetl.Solver.OptimizationOptions

Returns true if the Ris expansion is enabled when solving constraints involving Ris.

isSingleton() - Method in class jsetl.Interval

Returns true if and only if this interval contains exactly one value.

isSingleton() - Method in class jsetl.MultiInterval

Checks whether this multi-interval is a singleton or not.

isSingleton() - Method in class jsetl.SetInterval

Checks whether this set interval is a singleton, i.e. contains exactly one element.

isTrue() - Method in class jsetl.BoolLVar

Tests whether the value is true or not.

isUniverse() - Method in class jsetl.Interval

Returns true if and only if this interval contains every representable value.

isUniverse() - Method in class jsetl.MultiInterval

Checks if this is the 'universe', i.e. the maximum representable multi-interval.

isUniverse() - Method in class jsetl.SetInterval

Checks whether this is the universe.

iterator() - Method in class jsetl.Interval

Returns an iterator for the interval.

iterator() - Method in class jsetl.LCollection

Returns an iterator over all elements of this collection.

iterator() - Method in class jsetl.MultiInterval

Returns an iterator over the elements of this multi-interval.

iterator() - Method in class jsetl.Ris

Calling this method is the same as calling this.expand().iterator().

A B C D E F G H I J L M N O P R S T U V