- card() - Method in class jsetl.SetLVar
-
Creates and returns an integer logical variable representing the set cardinality.
- check() - Method in class jsetl.Constraint
-
Solves this constraint using a local solver;
- check() - Method in class jsetl.Solver
-
Solves the conjunction of constraints in the current constraint store.
- check(Constraint) - Method in class jsetl.Solver
-
Solves the passed constraint constraint in the context of the current
constraint store and returns a boolean result.
- clear() - Method in class jsetl.MultiInterval
-
Empties this multi-interval.
- clearStore() - Method in class jsetl.Solver
-
Removes all constraints from the Constraint Store
- clone() - Method in class jsetl.BoolLVar
-
Creates and returns a bit-by-bit copy of the variable.
- clone() - Method in class jsetl.Constraint
-
Creates and returns a clone of this constraint (the same as new Constraint(this).
- clone() - Method in class jsetl.CP
-
GENERAL METHODS
- clone() - Method in class jsetl.Interval
-
Creates and returns a copy of this.
- clone() - Method in class jsetl.IntLSet
-
Clones this set and returns it.
- clone() - Method in class jsetl.IntLVar
-
Constructs and returns a (shallow) copy of this variable.
- clone() - Method in class jsetl.LList
-
Creates and returns a bit-by-bit copy of this object.
- clone() - Method in class jsetl.LMap
-
Creates a bit-by-bit clone of this LMap.
- clone() - Method in class jsetl.LPair
-
Returns a bit-by-bit clone of this object.
- clone() - Method in class jsetl.LRel
-
Creates a clone of this LRel.
- clone() - Method in class jsetl.LSet
-
Creates and returns a copy of this logical set.
- clone() - Method in class jsetl.LVar
-
Creates and returns a (bit-by-bit) copy of this object.
- clone() - Method in class jsetl.MultiInterval
-
Creates and returns a copy of this.
- clone() - Method in class jsetl.Ris
-
Constructs and returns a clone of this Ris, the same as new Ris(this).
- clone() - Method in class jsetl.SetInterval
-
Creates and returns a copy of this.
- clone() - Method in class jsetl.SetLVar
-
Constructs and returns a bit-by-bit clone of this.
- CmpFSVarDomByGlb - Class in jsetl.comparator
-
Comparator used to compare SetLVars by comparing the glbs of their domains.
- CmpFSVarDomByGlb() - Constructor for class jsetl.comparator.CmpFSVarDomByGlb
-
- CmpFSVarDomByLub - Class in jsetl.comparator
-
Comparator used to compare SetLVars by comparing the lubs of their domains.
- CmpFSVarDomByLub() - Constructor for class jsetl.comparator.CmpFSVarDomByLub
-
- CmpFSVarDomBySize - Class in jsetl.comparator
-
Comparator used to compare SetLVars by comparing the sizes of their domains.
- CmpFSVarDomBySize() - Constructor for class jsetl.comparator.CmpFSVarDomBySize
-
- CmpIntervalsByGlb - Class in jsetl.comparator
-
This class implements a Comparator on objects of class
Interval, based on intervals greatest lower bound.
- CmpIntervalsByGlb() - Constructor for class jsetl.comparator.CmpIntervalsByGlb
-
- CmpIntervalsByLub - Class in jsetl.comparator
-
This class implements a Comparator on objects of class
Interval, based on intervals least upper bound.
- CmpIntervalsByLub() - Constructor for class jsetl.comparator.CmpIntervalsByLub
-
- CmpIntLVarDomByGlb - Class in jsetl.comparator
-
This class implements a comparator for IntLVar based on the greatest lower bound of their domains.
- CmpIntLVarDomByGlb() - Constructor for class jsetl.comparator.CmpIntLVarDomByGlb
-
- CmpIntLVarDomByGlbDesc - Class in jsetl.comparator
-
This class implements a comparator for IntLVar based on the greatest lower bound of their domains, in descending order.
- CmpIntLVarDomByGlbDesc() - Constructor for class jsetl.comparator.CmpIntLVarDomByGlbDesc
-
- CmpIntLVarDomByLub - Class in jsetl.comparator
-
This class implements a comparator for IntLVar based on the least upper bound of their domains.
- CmpIntLVarDomByLub() - Constructor for class jsetl.comparator.CmpIntLVarDomByLub
-
- CmpIntLVarDomByLubDesc - Class in jsetl.comparator
-
This class implements a comparator for IntLVar based on the least upper bound of their domains, in descending order.
- CmpIntLVarDomByLubDesc() - Constructor for class jsetl.comparator.CmpIntLVarDomByLubDesc
-
- CmpIntLVarDomBySize - Class in jsetl.comparator
-
This class implements a comparator for IntLVar based on the sizes of their domains.
- CmpIntLVarDomBySize() - Constructor for class jsetl.comparator.CmpIntLVarDomBySize
-
- comp(LMap, LMap) - Method in class jsetl.LMap
-
This method creates the "comp" constraint which requires that
this comp lMap1 = lMap2.
- comp(LRel, LRel) - Method in class jsetl.LRel
-
This method creates the "comp" constraint which requires that
this comp lRel1 = lRel2.
- compare(Interval, Interval) - Method in class jsetl.comparator.CmpIntervalsByGlb
-
- compare(Interval, Interval) - Method in class jsetl.comparator.CmpIntervalsByLub
-
- compare(IntLVar, IntLVar) - Method in class jsetl.comparator.CmpIntLVarDomByGlb
-
- compare(IntLVar, IntLVar) - Method in class jsetl.comparator.CmpIntLVarDomByGlbDesc
-
- compare(IntLVar, IntLVar) - Method in class jsetl.comparator.CmpIntLVarDomByLub
-
- compare(IntLVar, IntLVar) - Method in class jsetl.comparator.CmpIntLVarDomByLubDesc
-
- compare(IntLVar, IntLVar) - Method in class jsetl.comparator.CmpIntLVarDomBySize
-
- compare(SetLVar, SetLVar) - Method in class jsetl.comparator.CmpFSVarDomByGlb
-
Compares two SetLVar using the comparison between the glbs of their domains
- compare(SetLVar, SetLVar) - Method in class jsetl.comparator.CmpFSVarDomByLub
-
Compares two SetLVar using the comparison between the lubs of their domains
- compare(SetLVar, SetLVar) - Method in class jsetl.comparator.CmpFSVarDomBySize
-
Compares two SetLVar using the comparison between the sizes of their domains
- compl() - Method in class jsetl.SetLVar
-
Returns a new logical set variable representing the complement of this.
- complement() - Method in class jsetl.MultiInterval
-
Returns the multi-interval corresponding to the complement of
this with respect to the universe multi-interval.
- complement(MultiInterval) - Method in class jsetl.MultiInterval
-
Returns the result of the complement operation using the given multi-interval as universe.
- Constraint - Class in jsetl
-
Objects of the class Constraints are conjunctions of atomic constraints (class AConstraint).
- Constraint() - Constructor for class jsetl.Constraint
-
Creates an empty constraint conjunction, i.e. the conjunction of zero atomic constraints.
- Constraint(String, Object...) - Constructor for class jsetl.Constraint
-
Creates a constraint conjunction of a single atomic constraint, identified by name
with at most Constraint.MAX_ARGUMENTS_PER_CONSTRAINT arguments in arguments.
- contains(Integer) - Method in class jsetl.Interval
-
Checks if x is an element of this.
- contains(Integer) - Method in class jsetl.MultiInterval
-
Checks if value belongs to one of the intervals of
this.
- contains(Object) - Method in class jsetl.LSet
-
Returns a constraint conjunction whose sole atomic constraint demands that object is an element of this.
- contains(Object) - Method in class jsetl.MultiInterval
-
Checks whether this multi-interval contains object or not.
- contains(MultiInterval) - Method in class jsetl.SetInterval
-
Tests whether set is an element of this set interval.
- containsAll(Collection<?>) - Method in class jsetl.MultiInterval
-
Checks whether this multi-interval contains all the elements of collection.
- convexClosure() - Method in class jsetl.MultiInterval
-
Returns the convex closure of this, i.e. the minimum
convex set containing this.
- CP - Class in jsetl
-
- CP() - Constructor for class jsetl.CP
-
CONSTRUCTORS
- CP(String) - Constructor for class jsetl.CP
-
- CP(String, CP) - Constructor for class jsetl.CP
-
- CP(String, LSet, LSet) - Constructor for class jsetl.CP
-
- CP(CP) - Constructor for class jsetl.CP
-
- CP(LSet, LSet) - Constructor for class jsetl.CP
-