- SetHeuristic - Enum in jsetl
-
This enumeration is used to decide which (non-)membership constraint will be solved first.
- SetInterval - Class in jsetl
-
This class implements set intervals, which are intervals like Interval but over sets of
integers instead of over integers.
- SetInterval() - Constructor for class jsetl.SetInterval
-
Constructs an empty set interval.
- SetInterval(Collection<MultiInterval>) - Constructor for class jsetl.SetInterval
-
Constructs the minimum set interval that contains all multi-intervals in multiIntervals.
- SetInterval(MultiInterval) - Constructor for class jsetl.SetInterval
-
Constructs a set interval which has only one element, i.e.
- SetInterval(MultiInterval, MultiInterval) - Constructor for class jsetl.SetInterval
-
Creates a set interval of the form [lowerBound, upperBound].
- SetLVar - Class in jsetl
-
Objects of this class are finite sets over integers.
- SetLVar() - Constructor for class jsetl.SetLVar
-
Constructs an unspecified logical set with default name.
- SetLVar(String) - Constructor for class jsetl.SetLVar
-
Constructs an unspecified logical set with given name.
- SetLVar(String, Set<Integer>) - Constructor for class jsetl.SetLVar
-
Constructs a new logical set with the given value and name.
- SetLVar(String, Set<Integer>, Set<Integer>) - Constructor for class jsetl.SetLVar
-
Constructs glb logical variable set with domain [glb,lub] with given name.
- SetLVar(String, MultiInterval) - Constructor for class jsetl.SetLVar
-
Constructs a new logical set with the given value and name.
- SetLVar(String, MultiInterval, MultiInterval) - Constructor for class jsetl.SetLVar
-
Constructs glb logical variable set with domain [glb,lub] with given name.
- SetLVar(String, SetInterval) - Constructor for class jsetl.SetLVar
-
Constructs a set logical variable with the given domain and name.
- SetLVar(String, SetInterval, Integer) - Constructor for class jsetl.SetLVar
-
Constructs a set logical variable with the given domain, cardinality and name.
- SetLVar(String, SetInterval, MultiInterval) - Constructor for class jsetl.SetLVar
-
Constructs a set logical variable with the given domain, cardinality domain and name.
- SetLVar(String, SetLVar) - Constructor for class jsetl.SetLVar
-
Constructs a copy of the parameter setLVar with given name.
- SetLVar(Set<Integer>) - Constructor for class jsetl.SetLVar
-
Constructs a new logical set with the given value and default name.
- SetLVar(Set<Integer>, Set<Integer>) - Constructor for class jsetl.SetLVar
-
Constructs glb logical variable set with domain [glb,lub] with default name.
- SetLVar(MultiInterval) - Constructor for class jsetl.SetLVar
-
Constructs a new logical set with the given value and default name.
- SetLVar(MultiInterval, MultiInterval) - Constructor for class jsetl.SetLVar
-
Constructs glb logical variable set with domain [glb,lub] with default name.
- SetLVar(SetInterval) - Constructor for class jsetl.SetLVar
-
Constructs a set logical variable with the given domain and default name.
- SetLVar(SetInterval, Integer) - Constructor for class jsetl.SetLVar
-
Constructs a domain logical variable with the given domain, cardinality and with default name.
- SetLVar(SetInterval, MultiInterval) - Constructor for class jsetl.SetLVar
-
Constructs a domain logical variable with the given domain, cardinality domain and with default name.
- SetLVar(SetLVar) - Constructor for class jsetl.SetLVar
-
Constructs a copy of the parameter setLVar with default name.
- setName(String) - Method in class jsetl.BoolLVar
-
Sets the name of the variable to the given name and then returns the variable.
- setName(String) - Method in class jsetl.CP
-
- setName(String) - Method in class jsetl.IntLSet
-
Sets the name of this set and returns it.
- setName(String) - Method in class jsetl.IntLVar
-
Sets the name of this logical variable to the given name, then returns it.
- setName(String) - Method in class jsetl.LList
-
Sets the name of this logical list and returns the logical list.
- setName(String) - Method in class jsetl.LMap
-
Sets the name of this LMap to name.
- setName(String) - Method in class jsetl.LObject
-
Sets the name of this logical object and returns the logical object.
- setName(String) - Method in class jsetl.LPair
-
Sets the name of this logical pair to name.
- setName(String) - Method in class jsetl.LRel
-
Sets the name of this LRel to name.
- setName(String) - Method in class jsetl.LSet
-
Sets the name of this logical object and returns this logical set.
- setName(String) - Method in class jsetl.LVar
-
Sets the name of this logical variable and returns the logical variable
- setName(String) - Method in class jsetl.Ris
-
Sets the name of this Ris to name and returns this.
- setName(String) - Method in class jsetl.SetLVar
-
Sets the name of the set.
- setof(LObject) - Method in class jsetl.Solver
-
Finds all possible values (by calling x.getValue) for a logical object that satisfy the constraint
in current constraint store of this solver.
- setof(LObject, Constraint) - Method in class jsetl.Solver
-
Computes and returns the (logical) set of all values (obtained calling x.getValue() of x that satisfy constraint
and the constraints in the constraint store.
- setof(LVar) - Method in class jsetl.Constraint
-
Computes and returns the set of all possible values for lVar which satisfy this constraint conjunction.
- setRisExpansionCacheSize(int) - Method in class jsetl.Solver.OptimizationOptions
-
If the ris expansion cache is enabled sets the cache size to maxEntries.
- setUseFastCompRulesFlag(boolean) - Method in class jsetl.Solver.OptimizationOptions
-
Enables fast comp rules if flag == true, disables them otherwise.
- setUseFastUnionRulesFlag(boolean) - Method in class jsetl.Solver.OptimizationOptions
-
Enables fast union rules if flag == true, disables them otherwise.
- setUseInOptimizationsFlag(boolean) - Method in class jsetl.Solver.OptimizationOptions
-
Enables "in" optimizations if flag == true, disables them otherwise.
- setUseNinOptimizationsFlag(boolean) - Method in class jsetl.Solver.OptimizationOptions
-
Enables "nin" optimizations if flag == true, disables them otherwise.
- setUseRisExpansionCacheFlag(boolean) - Method in class jsetl.Solver.OptimizationOptions
-
Enables ris expansion optimization if flag == true and enables the cache,
disables the cache otherwise.
- setUseRisExpansionOptimizationFlag(boolean) - Method in class jsetl.Solver.OptimizationOptions
-
Enables ris expansion optimization if flag == true, disables it otherwise.
- setUseSetUnificationOptimizationsFlag(boolean) - Method in class jsetl.Solver.OptimizationOptions
-
Enables s unification optimizations if flag == true, disables them otherwise.
- setUseStrictRisMode(boolean) - Static method in class jsetl.Solver
-
Sets the Strict Ris Mode ON (true) or OFF (false).
- setValue(Object) - Method in class jsetl.IntLVar
-
Sets the value of this logical variable then returns it.
- setValue(Object) - Method in class jsetl.LVar
-
Sets the value of this LVar to the parameter object.
- setValue(List<?>) - Method in class jsetl.LList
-
Sets the value of this logical list to the parameter.
- setValue(List<?>) - Method in class jsetl.LPair
-
Sets the value of this logical pair to pair.
- setValue(Set<?>) - Method in class jsetl.LRel
-
Sets the value of this LRel to the parameter java set.
- setValue(Set<?>) - Method in class jsetl.LSet
-
Sets the value of this LSet to the parameter java set.
- setValue(Set<?>) - Method in class jsetl.Ris
-
Calling this method always throws UnsupportedOperationException.
- showStore() - Method in class jsetl.Solver
-
This method prints each constraint that is not solved yet to standard output.
- showStoreAll() - Method in class jsetl.Solver
-
This method prints each constraint still in the constraint store (solved or not) to standard output.
- showStoreInternals() - Method in class jsetl.Solver
-
Like showStoreAll() but prints the internal view of the constraint store to standard output.
- singleton(IntLVar) - Static method in class jsetl.SetLVar
-
Constructs and returns a new integer set variable which is the singleton {element}.
- size() - Method in class jsetl.Interval
-
Returns the size of this, i.e. the cardinality of the
set of integers corresponding to this.
- size() - Method in class jsetl.MultiInterval
-
Returns the size of the multi-interval, i.e. the number of its elements.
- size() - Method in class jsetl.SetInterval
-
Returns the number of elements in this set interval.
- size() - Method in class jsetl.Solver
-
This method returns the number of atomic constraints in the store that are not yet solved.
- size(Integer) - Method in class jsetl.LSet
-
Returns a constraint conjunction whose sole atomic constraint demands that cardinality(this) == size.
- size(IntLVar) - Method in class jsetl.LSet
-
Returns a constraint conjunction whose sole atomic constraint demands that cardinality(this) == size.
- solve() - Method in class jsetl.Constraint
-
Solves this constraint using a local solver.
- solve() - Method in class jsetl.Solver
-
Solves (using backtracking) the constraints that are not in solved form.
- solve(Constraint) - Method in class jsetl.Solver
-
Adds the given constraint to the constraint store and solves it using solve()
- solver - Variable in class jsetl.NewConstraints
-
Reference to the solver.
- Solver - Class in jsetl
-
Objects of this class are solvers for constraints conjunctions.
- Solver() - Constructor for class jsetl.Solver
-
Constructs a new solver.
- Solver.OptimizationOptions - Class in jsetl
-
Class used to store and modify info about which optimizations are enabled.
- Solver.UnsafeRisException - Exception in jsetl
-
Unsafe Ris Exception, thrown when an unsafe RIS operation is performed while
Strict Ris Mode is ON.
- strictSubset(MultiInterval) - Method in class jsetl.SetLVar
-
Returns a new constraint which demands that this is a strict subset of multiInterval.
- strictSubset(SetLVar) - Method in class jsetl.SetLVar
-
Returns a new constraint which demands that this is a strict subset of setLVar.
- sub(Integer) - Method in class jsetl.IntLVar
-
Constructs and returns a logical variable which is the subtraction of this with the parameter integer.
- sub(Interval) - Method in class jsetl.Interval
-
Returns the difference of this and interval.
- sub(IntLVar) - Method in class jsetl.IntLVar
-
Constructs and returns a logical variable which is the subtraction of this with the parameter intLVar.
- sub(MultiInterval) - Method in class jsetl.MultiInterval
-
Returns the difference of this and multiInterval.
- subset(Set<?>) - Method in class jsetl.LSet
-
Returns a constraint conjunction whose sole atomic constraint demands that this is a subset of set.
- subset(Interval) - Method in class jsetl.Interval
-
Checks if interval contains this.
- subset(LSet) - Method in class jsetl.LSet
-
Returns a constraint conjunction whose sole atomic constraint demands that this is a subset of lSet.
- subset(MultiInterval) - Method in class jsetl.MultiInterval
-
Checks if this is a subset of multiInterval.
- subset(MultiInterval) - Method in class jsetl.SetLVar
-
Returns a new constraint which demands that this is a subset of multiInterval.
- subset(SetLVar) - Method in class jsetl.SetLVar
-
Returns a new constraint which demands that this is a subset of setLVar.
- sum(Integer) - Method in class jsetl.IntLVar
-
Constructs and returns a logical variable which is the sum of this with the parameter integer.
- sum(Interval) - Method in class jsetl.Interval
-
Returns the sum of this and interval.
- sum(IntLVar) - Method in class jsetl.IntLVar
-
Constructs and returns a logical variable which is the sum of this with the parameter intLVar.
- sum(MultiInterval) - Method in class jsetl.MultiInterval
-
Returns the sum of this and multiInterval.
- SUP - Static variable in class jsetl.Interval
-
Maximum representable value.
- SUP - Static variable in class jsetl.MultiInterval
-
Supremum, greatest representable value.
- SUP - Static variable in class jsetl.SetInterval
-
Supremum, greatest possible set (universe).