Uses of Class
org.tweetyproject.lp.asp.reasoner.SolverException

Packages that use SolverException

Package	Description
org.tweetyproject.lp.asp.analysis
org.tweetyproject.lp.asp.examples
org.tweetyproject.lp.asp.reasoner

Uses of SolverException in org.tweetyproject.lp.asp.analysis

Methods in org.tweetyproject.lp.asp.analysis that throw SolverException

Modifier and Type	Method	Description
void	AspInconsistencyMeasureTest.test1()

Uses of SolverException in org.tweetyproject.lp.asp.examples

Methods in org.tweetyproject.lp.asp.examples that throw SolverException

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

Uses of SolverException in org.tweetyproject.lp.asp.reasoner

Methods in org.tweetyproject.lp.asp.reasoner that throw SolverException

Modifier and Type	Method	Description
java.lang.String	ClingoSolver.getOptimumString()	Returns the optimum of the previously solved program, if there is one.