java.io.Serializable
public class Fail
extends java.lang.RuntimeException
Solver
, when a constraint is found to be unsatisfiable,
to stop the solution of atomic constraints and start the backtracking procedure.Constructor | Description |
---|---|
Fail() |