- abs() - Method in class jsetl.IntLVar
-
Constructs and returns a logical variable which is the absolute value of this.
- accept(Visitor) - Method in class jsetl.BoolLVar
-
Needed for the visitor pattern.
- accept(Visitor) - Method in class jsetl.Constraint
-
Needed for the visitor design pattern.
- accept(Visitor) - Method in class jsetl.CP
-
- accept(Visitor) - Method in class jsetl.IntLSet
-
Needed for the Visitor design pattern.
- accept(Visitor) - Method in class jsetl.IntLVar
-
Needed for the Visitor pattern.
- accept(Visitor) - Method in class jsetl.LList
-
This method is used for the Visitor design pattern.
- accept(Visitor) - Method in class jsetl.LMap
-
Implementation of this method is needed for the Visitor design pattern.
- accept(Visitor) - Method in class jsetl.LPair
-
Needed for the visitor design pattern.
- accept(Visitor) - Method in class jsetl.LRel
-
Implementation of this method is needed for the Visitor design pattern.
- accept(Visitor) - Method in class jsetl.LSet
-
Implementation of this method is needed for the Visitor design pattern.
- accept(Visitor) - Method in class jsetl.LVar
-
Needed for the visitor pattern.
- accept(Visitor) - Method in class jsetl.Ris
-
Needed for the Visitor pattern to work.
- accept(Visitor) - Method in class jsetl.SetLVar
-
Needed for the visitor pattern.
- add(Integer) - Method in class jsetl.MultiInterval
-
Adds an integer value to this multi-interval.
- add(Constraint) - Method in class jsetl.Constraint
-
Adds each atomic constraint in constraint to this constraint conjunction then returns this constraint conjunction.
- add(Constraint) - Method in class jsetl.Solver
-
Adds a constraint conjunction at the end of the store.
- addAll(Collection<? extends Integer>) - Method in class jsetl.MultiInterval
-
Adds all the integer of collection to the multi-interval.
- addChoicePoint(Constraint) - Method in class jsetl.Solver
-
Opens a choice point for the first atomic constraint in the constraint conjunction constraint.
- allDifferent(Object...) - Static method in class jsetl.Constraint
-
Returns a constraint that is satisfied if and only if all the elements in objects
are different from each other.
- allDifferent(List<?>) - Static method in class jsetl.Constraint
-
Returns a constraint that is satisfied if and only if all the elements in objects
are different from each other.
- and(BoolLVar) - Method in class jsetl.BoolLVar
-
Creates and returns a boolean logical variable which is the result of the expression this and other.
- and(Constraint) - Method in class jsetl.Constraint
-
Logical "AND" between this constraint conjunction and the parameter constraint.
- areFastCompRulesEnabled() - Method in class jsetl.Solver.OptimizationOptions
-
Returns true if fast rewrite rules for comp constraints are enabled.
- areFastUnionRulesEnabled() - Method in class jsetl.Solver.OptimizationOptions
-
Returns true if fast rewrite rules for union constraints are enabled.
- areInOptimizationsEnabled() - Method in class jsetl.Solver.OptimizationOptions
-
Returns true if optimizations for "in" constraints are enabled.
- areNinOptimizationsEnabled() - Method in class jsetl.Solver.OptimizationOptions
-
Returns true if optimizations for "nin" constraints are enabled.
- areSetUnificationOptimizationsEnabled() - Method in class jsetl.Solver.OptimizationOptions
-
Returns true if optimizations for set unification constraints are enabled.