- ge(Integer) - Method in class jsetl.IntLVar
-
Constraint which is satisfied if and only if this is greater than or equal to integer.
- ge(IntLVar) - Method in class jsetl.IntLVar
-
Constraint which is satisfied if and only if this is greater than or equal to intLVar.
- get(int) - Method in class jsetl.LList
-
Returns the i-th (starting from 0) element of this collection.
- getAlternative() - Method in class jsetl.Constraint
-
Gets the next alternative of the first constraint in the conjunction if it is the only one.
- getArg(int) - Method in class jsetl.Constraint
-
Gets the specified argument of the constraints if the constraint conjunction contains only one atomic constraint.
- getConstraint() - Method in class jsetl.BoolLVar
-
Returns the constraint conjunction associated with this variable.
- getConstraint() - Method in class jsetl.IntLVar
-
Returns the constraint conjunction associated with this variable.
- getConstraint() - Method in class jsetl.SetLVar
-
Gets the constraint associated with this logical set variable.
- getConstraint() - Method in class jsetl.Solver
-
Returns a constraint conjunction consisting of all the not solved atomic constraints currently in the store.
- getControlTerm() - Method in class jsetl.Ris
-
Return the control term of this Ris.
- getDomain() - Method in class jsetl.IntLVar
-
Getter for domain.
- getDomain() - Method in class jsetl.Ris
-
Return the domain of this Ris.
- getDomain() - Method in class jsetl.SetLVar
-
Gets the domain of this logical set variable.
- getFilter() - Method in class jsetl.Ris
-
Return the filter of this Ris.
- getFirst() - Method in class jsetl.LPair
-
Returns the first element of this logical pair, if the pair is bound.
- getFirstSet() - Method in class jsetl.CP
-
- getGlb() - Method in class jsetl.Interval
-
Returns the greatest lower bound of this.
- getGlb() - Method in class jsetl.MultiInterval
-
Returns the greatest lower bound of this.
- getGlb() - Method in class jsetl.SetInterval
-
Returns the greatest lower bound of this set interval.
- getLub() - Method in class jsetl.Interval
-
Returns the least upper bound of this.
- getLub() - Method in class jsetl.MultiInterval
-
Returns the least upper bound of this.
- getLub() - Method in class jsetl.SetInterval
-
Returns the least upper bound of this set interval.
- getName() - Method in class jsetl.Constraint
-
Gets the name identifying the constraint.
- getName() - Method in class jsetl.LObject
-
Retrieves the name of this logical object.
- getOptimizationOptions() - Method in class jsetl.Solver
-
Returns the instance of OptimizationOptions used by the solver.
- getOrder() - Method in class jsetl.MultiInterval
-
Returns the order of this, i.e.,
the number of intervals that form this multi-interval.
- getPattern() - Method in class jsetl.Ris
-
Return the pattern of this Ris.
- getSecond() - Method in class jsetl.LPair
-
Returns the second element of this logical pair, if the pair is bound.
- getSecondSet() - Method in class jsetl.CP
-
- getSize() - Method in class jsetl.CP
-
- getSize() - Method in class jsetl.LCollection
-
Returns the number of (possibly repeated) elements of the collection.
- getSize() - Method in class jsetl.LList
-
Returns the number of elements of this logical list.
- getSize() - Method in class jsetl.LSet
-
Returns the number of distinct elements of this logical set
(0 for the empty or uninitialized logical set).
- getSize() - Method in class jsetl.Ris
-
Calling this method is the same as calling this.expand().getSize().
- getTail() - Method in class jsetl.LList
-
Gets the tail of this LList.
- getTail() - Method in class jsetl.LSet
-
Gets the tail of this LSet.
- getTail() - Method in class jsetl.Ris
-
Returns tha tail of this restricted intensional set, which is this.
- getUnsafeRisUsageWarning() - Static method in class jsetl.Solver
-
Tells whether the warning flag is true or not and does changes its value to false.
- getUseStrictRisMode() - Static method in class jsetl.Solver
-
Tells whether the Strict Ris Mode is ON (true) or OFF (false).
- getValue() - Method in class jsetl.BoolLVar
-
Gets the value of the variable.
- getValue() - Method in class jsetl.IntLSet
-
Computes an instance of HashSet containing the known elements in this set.
- getValue() - Method in class jsetl.IntLVar
-
returns the value of this variable, if it is initialized, null otherwise.
- getValue() - Method in class jsetl.LList
-
Gets the value of this LList as an ArrayList
- getValue() - Method in class jsetl.LObject
-
Returns the value of the logical object, if it is bound, returns null if it is not bound.
- getValue() - Method in class jsetl.LRel
-
Gets the value of this LRel (i.e., a HashSet<LPair>) object containing all the
elements of this LRel (ignores the unspecified rest of the LRel,
if present)).
- getValue() - Method in class jsetl.LSet
-
Gets the value of this LSet (i.e., a HashSet object containing all the
elements of this LSet (ignores the unspecified rest of the LSet,
if present)).
- getValue() - Method in class jsetl.LVar
-
Gets the value of this LVar or null if the variable is not initialized.
- getValue() - Method in class jsetl.Ris
-
Same as calling getValue() on the value returned by the expand() method.
- getValue() - Method in class jsetl.SetLVar
-
Returns the value of the set (as a multi-interval).
- GLB - jsetl.ValHeuristic
-
Selects the GLB (greatest lower bound) of D_x.
- gt(Integer) - Method in class jsetl.IntLVar
-
Constraint which is satisfied if and only if this is greater than integer.
- gt(IntLVar) - Method in class jsetl.IntLVar
-
Constraint which is satisfied if and only if this is greater than intLVar.