- ncomp(LRel, LRel) - Method in class jsetl.LRel
-
This method creates a "ncomp" constraint, which requires
that this comp lRel1 != lRel2.
- ncontains(Object) - Method in class jsetl.LSet
-
Returns a constraint conjunction whose sole atomic constraint demands that object is not an element of this.
- ndiff(Set<?>, Set<?>) - Method in class jsetl.LSet
-
Returns a constraint conjunction whose sole atomic constraint demands that this - set1 != set2.
- ndiff(Set<?>, LSet) - Method in class jsetl.LSet
-
Returns a constraint conjunction whose sole atomic constraint demands that this - set != lSet.
- ndiff(LSet, Set<?>) - Method in class jsetl.LSet
-
Returns a constraint conjunction whose sole atomic constraint demands that this - lSet != set.
- ndiff(LSet, LSet) - Method in class jsetl.LSet
-
Returns a constraint conjunction whose sole atomic constraint demands that this - lSet1 != lSet2.
- ndisj(Set<?>) - Method in class jsetl.LSet
-
Returns a constraint conjunction whose sole atomic constraint demands that this and set are not disjoint.
- ndisj(LSet) - Method in class jsetl.LSet
-
Returns a constraint conjunction whose sole atomic constraint demands that this and lSet are not disjoint.
- ndom(Integer, Integer) - Method in class jsetl.IntLVar
-
Generates glb constraint which is satisfiable if and only if this is not in the interval [glb,lub].
- ndom(LSet) - Method in class jsetl.LRel
-
This method creates a "ndom" constraint, which requires
that lSet is not the domain this relation.
- ndom(MultiInterval) - Method in class jsetl.IntLVar
-
Generates a constraint which is satisfiable if and only if this is not in the multi-interval multiInterval.
- ndres(LSet, LRel) - Method in class jsetl.LRel
-
This method creates a "ndres" constraint of the form ndres(this, lSet, lRel).
- neq(Boolean) - Method in class jsetl.BoolLVar
-
Creates and returns a constraint which represents the inequality between this and the parameter bool
The constraint created and returned contains the constraints in the field constraint of this.
- neq(Integer) - Method in class jsetl.IntLVar
-
Constraint of inequality between this and integer.
- neq(Object) - Method in class jsetl.LVar
-
Constructs and returns a new constraint which demands that this is not equal to object.
- neq(List<?>) - Method in class jsetl.LList
-
Constructs and returns a new constraint which demands that this is not equal to list.
- neq(Set<?>) - Method in class jsetl.LSet
-
Constructs and returns a new constraint which demands that this is not equal to set
- neq(BoolLVar) - Method in class jsetl.BoolLVar
-
Creates and returns a constraint which represents the inequality between this and the parameter other
The constraint created and returned contains the constraints in the field constraint of both this and other.
- neq(IntLVar) - Method in class jsetl.IntLVar
-
Constraint of inequality between this and intLVar.
- neq(LList) - Method in class jsetl.LList
-
Constructs and returns a new constraint which demands that this is not equal to lList.
- neq(LSet) - Method in class jsetl.LSet
-
Constructs and returns a new constraint which demands that this is not equal to lSet.
- neq(MultiInterval) - Method in class jsetl.SetLVar
-
Returns a new constraint which demands that this != multiInterval.
- neq(SetLVar) - Method in class jsetl.SetLVar
-
Returns a new constraint which demands that this != setLVar.
- NewConstraints - Class in jsetl
-
The NewConstraints class allows the user to define new constraints.
- NewConstraints(Solver) - Constructor for class jsetl.NewConstraints
-
Sets the internal solver to the given one and adds this constraint to the solver.
- nextSolution() - Method in class jsetl.Solver
-
This method tries to find a
new solution (if any) each time it is called.
- nid(LSet) - Method in class jsetl.LRel
-
This method creates a "nid" constraint, which requires
that this relation is not the identity over the set lSet.
- nin(Set<?>) - Method in class jsetl.LObject
-
Constructs and returns a new constraint which demands that this is not an element of set.
- nin(LSet) - Method in class jsetl.LObject
-
Constructs and returns a new constraint which demands that this is not an element of lSet.
- nin(MultiInterval) - Method in class jsetl.IntLVar
-
Creates a constraint which is satisfiable if and only if this is not an element of multiInterval.
- nin(SetLVar) - Method in class jsetl.IntLVar
-
Creates a constraint which is satisfiable if and only if this is not an element of setLVar.
- ninters(Set<?>, Set<?>) - Method in class jsetl.LSet
-
Returns a constraint conjunction whose sole atomic constraint demands that this intersection set1 != set2.
- ninters(Set<?>, LSet) - Method in class jsetl.LSet
-
Returns a constraint conjunction whose sole atomic constraint demands that this intersection set != lSet.
- ninters(LSet, Set<?>) - Method in class jsetl.LSet
-
Returns a constraint conjunction whose sole atomic constraint demands that this intersection lSet != set.
- ninters(LSet, LSet) - Method in class jsetl.LSet
-
Returns a constraint conjunction whose sole atomic constraint demands that this intersection lSet1 != lSet2.
- ninv(LRel) - Method in class jsetl.LRel
-
This method creates an "ninv" constraint, which requires
that lRel is not the inverse of this relation.
- normalizeSet() - Method in class jsetl.IntLSet
-
Computes and returns a new set with the same known elements and tail as this but without duplicates.
- normalizeSet() - Method in class jsetl.LSet
-
Creates and returns a logical set which has the same elements (without duplicates) and tail as this.
- normalizeSet() - Method in class jsetl.Ris
-
This operation is not supported by Ris, so it will always throw UnsupportedOperationException.
- not() - Method in class jsetl.BoolLVar
-
Creates and returns a boolean logical variable which is the result of the expression not(this) .
- NotDefConstraintException - Exception in jsetl.exception
-
Exception raised when the solver tries to solve a constraint whose kind is neither built-in nor user-defined.
- NotDefConstraintException() - Constructor for exception jsetl.exception.NotDefConstraintException
-
- notFirstCall() - Method in class jsetl.Constraint
-
Sets the first atomic constraint firstCall field value to false.
- NotInitLObjectException - Exception in jsetl.exception
-
The NotInitLObjectException class is used to throw an exception
when a variable that should be initialized is found to be uninitialized and the method can not
handle this condition.
- NotInitLObjectException() - Constructor for exception jsetl.exception.NotInitLObjectException
-
- NotNull - Annotation Type in jsetl.annotation
-
The annotated element shall not be null.
- NotPFunException - Exception in jsetl.exception
-
The NotPFunException class is used to throw an exception
when the new LMap created is not a partial function.
- NotPFunException() - Constructor for exception jsetl.exception.NotPFunException
-
- notSolved() - Method in class jsetl.Constraint
-
Sets the solved flag of each atomic constraint in the conjunction to false.
- notTest() - Method in class jsetl.Constraint
-
Deterministic "negation test" not(A) over this constraint conjunction
- NotValidDomainException - Exception in jsetl.exception
-
Exceptions of this type are raised when a not valid domain is found.
- NotValidDomainException() - Constructor for exception jsetl.exception.NotValidDomainException
-
- nran(LSet) - Method in class jsetl.LRel
-
This method creates a "nran" constraint, which requires
that lSet is not the range this relation.
- nrres(LSet, LRel) - Method in class jsetl.LRel
-
This method creates a "nrres" constraint of the form nrres(this, lSet, lRel).
- nsubset(Set<?>) - Method in class jsetl.LSet
-
Returns a constraint conjunction whose sole atomic constraint demands that this is not a subset of set.
- nsubset(LSet) - Method in class jsetl.LSet
-
Returns a constraint conjunction whose sole atomic constraint demands that this is not a subset of lSet.
- Nullable - Annotation Type in jsetl.annotation
-
The annotated parameter might be null.
- nunion(Set<?>, Set<?>) - Method in class jsetl.LSet
-
Returns a constraint conjunction whose sole atomic constraint demands that this union set1 != set2.
- nunion(Set<?>, LSet) - Method in class jsetl.LSet
-
Returns a constraint conjunction whose sole atomic constraint demands that this union set != lSet.
- nunion(LSet, Set<?>) - Method in class jsetl.LSet
-
Returns a constraint conjunction whose sole atomic constraint demands that this union lSet != set.
- nunion(LSet, LSet) - Method in class jsetl.LSet
-
Returns a constraint conjunction whose sole atomic constraint demands that this union lSet1 != lSet2.