- fail() - Method in class jsetl.Constraint
-
Raises an exception Fail.
- Fail - Exception in jsetl.exception
-
Exceptions of this type are raised inside Solver, when a constraint is found to be unsatisfiable,
to stop the solution of atomic constraints and start the backtracking procedure.
- Fail() - Constructor for exception jsetl.exception.Fail
-
- failure() - Method in class jsetl.Solver
-
Method used to signal that the constraint resolution mechanism has failed and no solutions could be found.
- Failure - Exception in jsetl.exception
-
Exceptions of this type are raised when the solution of a constraint fails
(and there are no more open choice points), meaning that no solution can be found.
- Failure() - Constructor for exception jsetl.exception.Failure
-
- FALSE - jsetl.BoolHeuristic
-
Assign value false first when labeling.
- falsec() - Static method in class jsetl.Constraint
-
Returns a constraint that is never satisfiable.
- FIRST_FAIL - jsetl.VarHeuristic
-
Selects the leftmost variable with the smallest domain.
- FIRST_IN - jsetl.SetHeuristic
-
The membership constraint k in X is solved first.
- FIRST_NIN - jsetl.SetHeuristic
-
The non-membership constraint k not in X is solved first
- firstCall() - Method in class jsetl.Constraint
-
Checks whether the first atomic constraint is solved for the first time or not.
- forAll(Iterable<T>, LObject, Constraint) - Static method in class jsetl.Constraint
-
Creates and returns a constraint that is the conjunction of the result of the substitutions of dummy with each
element in iterable (one at a time) in constraint.
- forallElems(LVar, Constraint) - Method in class jsetl.LCollection
-
Constructs a conjunction of constraints constraint[y substituted with e_i] for all
elements e_i of this LCollection, where constraint[y substituted with e_i] is the constraint
obtained from constraint by replacing all occurrences of the LVar y with e_i.
- forallElems(LVar, Constraint) - Method in class jsetl.Ris
-
This method returns a constraint that is true if and only if
for every element in this, that element satisfies the constraint
constraint with lVar replaced with such element in it.
- forEachSolution(Consumer<Integer>) - Method in class jsetl.Solver
-
Runs the given runnable for each solution, counts the number of solutions and returns it.