Uses of Class
org.sat4j.specs.TimeoutException

Packages that use TimeoutException

org.sat4j	Contain a command line launcher for the SAT solvers.
org.sat4j.minisat.core	Implementation of the MiniSAT solver skeleton.
org.sat4j.opt	Built-in optimization framework.
org.sat4j.specs	Those classes are intented for users dealing with SAT solvers as blackboxes.
org.sat4j.tools	Tools to be used on top of an ISolver.

Uses of TimeoutException in org.sat4j

Methods in org.sat4j that throw TimeoutException

protected void	LanceurPseudo2005.solve(IProblem problem)
protected void	AbstractOptimizationLauncher.solve(IProblem problem)
protected void	AbstractLauncher.solve(IProblem problem)

Uses of TimeoutException in org.sat4j.minisat.core

Methods in org.sat4j.minisat.core that throw TimeoutException

int[]	Solver.findModel()
int[]	Solver.findModel(IVecInt assumps)
boolean	Solver.isSatisfiable()
boolean	Solver.isSatisfiable(IVecInt assumps)

Uses of TimeoutException in org.sat4j.opt

Methods in org.sat4j.opt that throw TimeoutException

boolean	PseudoOptDecorator.admitABetterSolution()
boolean	MinCostDecorator.admitABetterSolution()
boolean	AbstractSelectorVariablesDecorator.admitABetterSolution()
boolean	MinOneDecorator.admitABetterSolution()

Uses of TimeoutException in org.sat4j.specs

Methods in org.sat4j.specs that throw TimeoutException

boolean	IOptimizationProblem.admitABetterSolution()
int[]	IProblem.findModel() Look for a model satisfying all the clauses available in the problem.
int[]	IProblem.findModel(IVecInt assumps) Look for a model satisfying all the clauses available in the problem.
boolean	IProblem.isSatisfiable() Check the satisfiability of the set of constraints contained inside the solver.
boolean	IProblem.isSatisfiable(IVecInt assumps) Check the satisfiability of the set of constraints contained inside the solver.

Uses of TimeoutException in org.sat4j.tools

Methods in org.sat4j.tools that throw TimeoutException

static IVecInt	RemiUtils.backbone(ISolver s) Compute the set of literals common to all models of the formula.
long	SolutionCounter.countSolutions()
int[]	DimacsOutputSolver.findModel()
int[]	SolverDecorator.findModel()
int[]	DimacsOutputSolver.findModel(IVecInt assumps)
int[]	SolverDecorator.findModel(IVecInt assumps)
boolean	SingleSolutionDetector.hasASingleSolution() Please use that method only after a positive answer from isSatisfiable() (else a runtime exception will be launched).
boolean	SingleSolutionDetector.hasASingleSolution(IVecInt assumptions) Please use that method only after a positive answer from isSatisfiable(assumptions) (else a runtime exception will be launched).
boolean	ModelIterator.isSatisfiable()
boolean	DimacsOutputSolver.isSatisfiable()
boolean	SolverDecorator.isSatisfiable()
boolean	ModelIterator.isSatisfiable(IVecInt assumps)
boolean	DimacsOutputSolver.isSatisfiable(IVecInt assumps)
boolean	SolverDecorator.isSatisfiable(IVecInt assumps)