Uses of Class
net.sf.tweety.lp.asp.solver.SolverException

Packages that use SolverException

Package	Description
net.sf.tweety.lp.asp.solver

Uses of SolverException in net.sf.tweety.lp.asp.solver

Methods in net.sf.tweety.lp.asp.solver that throw SolverException

Modifier and Type	Method and Description
protected void	SolverBase.checkErrors() default implementation of error checking (should work for dlv package)
protected void	Clingo.checkErrors()
protected void	SolverBase.checkSolver(String path) proofs if the solver on the given path is an existing file with execute permission.
AnswerSetList	SolverBase.computeModels(List<String> files, int maxModels)
AnswerSetList	Solver.computeModels(List<String> files, int maxModels) this method computes at most maxModels for a given program, a collection of facts, and an arbitrary number of additional programs as a file resource.
AnswerSetList	Clingo.computeModels(List<String> files, int maxModels)
AnswerSetList	DLVComplex.computeModels(Program p, int models)
AnswerSetList	DLV.computeModels(Program p, int models)
AnswerSetList	Solver.computeModels(Program p, int maxModels) this method computes at most maxModels answer sets for a given program.
AnswerSetList	Clingo.computeModels(Program p, int maxModels)
AnswerSetList	DLVComplex.computeModels(String program, int models)
AnswerSetList	DLV.computeModels(String s, int maxModels)
AnswerSetList	Solver.computeModels(String s, int maxModels) this method computes at most maxModels answer sets for a given program as a flat string.
AnswerSetList	Clingo.computeModels(String s, int maxModels)
protected AnswerSetList	DLVComplex.processResults(List<String> result)
protected AnswerSetList	DLVComplex.runDLV(Program p, int nModels, String otherOptions)
protected AnswerSetList	DLV.runDLV(Program p, int nModels, String otherOptions)