Class Hierarchy
- java.lang.Object
- net.sf.tweety.lp.asp.reasoner.ASPSolver (implements net.sf.tweety.commons.ModelProvider<S,B,T>, net.sf.tweety.commons.QualitativeReasoner<B,F>)
- net.sf.tweety.lp.asp.reasoner.ClingoSolver
- net.sf.tweety.lp.asp.reasoner.DLVSolver
- java.lang.Throwable (implements java.io.Serializable)
- java.lang.Exception
- net.sf.tweety.lp.asp.reasoner.SolverException
- java.lang.Exception
- net.sf.tweety.lp.asp.reasoner.ASPSolver (implements net.sf.tweety.commons.ModelProvider<S,B,T>, net.sf.tweety.commons.QualitativeReasoner<B,F>)