Skip navigation links
A B C D E F G H I J L M N O P R S T U V 

A

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(Constraint) - Method in class jsetl.Constraint
Adds each atomic constraint in constraint to this constraint conjunction then returns this constraint conjunction.
add(Integer) - Method in class jsetl.MultiInterval
Adds an integer value to this multi-interval.
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.
A B C D E F G H I J L M N O P R S T U V 
Skip navigation links