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

Packages that use SolverException

Package	Description
net.sf.tweety.lp.asp.analysis
net.sf.tweety.lp.asp.beliefdynamics.baserevision
net.sf.tweety.lp.asp.beliefdynamics.revision
net.sf.tweety.lp.asp.solver

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

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

Modifier and Type	Method and Description
void	AspInconsistencyMeasureTest.test1()

Uses of SolverException in net.sf.tweety.lp.asp.beliefdynamics.baserevision

Methods in net.sf.tweety.lp.asp.beliefdynamics.baserevision that throw SolverException

Modifier and Type	Method and Description
private java.util.Set<Program>	ScreenedRemainderSets.calculateRemainderSetCandidates(Program p) Recursively calculates consistent subsets of p.
Program	ScreenedMaxichoiceConsolidation.consolidate(Program p) Calculates the screened consolidation !r of program p using a maxi-choice selection function s, i.e.
private boolean	ScreenedRemainderSets.isConsistent(Program p)
static void	ScreenedRemainderSets.main(java.lang.String[] args) Simple test case taken from [1]

Constructors in net.sf.tweety.lp.asp.beliefdynamics.baserevision that throw SolverException

Constructor and Description
ScreenedRemainderSets(Program p, Program r, Solver solver) Creates a new set of screened remainder sets of program p that all contain the screened rules r.

Uses of SolverException in net.sf.tweety.lp.asp.beliefdynamics.revision

Methods in net.sf.tweety.lp.asp.beliefdynamics.revision that throw SolverException

Modifier and Type	Method and Description
static void	PreferenceHandling.main(java.lang.String[] args)

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(java.lang.String path) proofs if the solver on the given path is an existing file with execute permission.
AnswerSetList	SolverBase.computeModels(java.util.List<java.lang.String> files, int maxModels)
AnswerSetList	Solver.computeModels(java.util.List<java.lang.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(java.util.List<java.lang.String> files, int maxModels)
AnswerSetList	Solver.computeModels(Program p, int maxModels) this method computes at most maxModels answer sets for a given program.
AnswerSetList	DLVComplex.computeModels(Program p, int models)
AnswerSetList	DLV.computeModels(Program p, int models)
AnswerSetList	Clingo.computeModels(Program p, int maxModels)
AnswerSetList	Solver.computeModels(java.lang.String s, int maxModels) this method computes at most maxModels answer sets for a given program as a flat string.
AnswerSetList	DLVComplex.computeModels(java.lang.String program, int models)
AnswerSetList	DLV.computeModels(java.lang.String s, int maxModels)
AnswerSetList	Clingo.computeModels(java.lang.String s, int maxModels)
protected AnswerSetList	DLVComplex.processResults(java.util.List<java.lang.String> result)
protected AnswerSetList	DLVComplex.runDLV(Program p, int nModels, java.lang.String otherOptions)
protected AnswerSetList	DLV.runDLV(Program p, int nModels, java.lang.String otherOptions)