Uses of Class
net.sf.tweety.lp.asp.reasoner.ASPSolver

Packages that use ASPSolver

Package	Description
net.sf.tweety.lp.asp.analysis
net.sf.tweety.lp.asp.reasoner

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

Constructors in net.sf.tweety.lp.asp.analysis with parameters of type ASPSolver

Constructor	Description
PmInconsistencyMeasure(ASPSolver solver)	Creates a new inconsistency measure based on the given solver.
SdInconsistencyMeasure(ASPSolver solver)	Creates a new inconsistency measure based on the given solver.

Uses of ASPSolver in net.sf.tweety.lp.asp.reasoner

Subclasses of ASPSolver in net.sf.tweety.lp.asp.reasoner

Modifier and Type	Class	Description
class	ClingoSolver	Invokes Clingo (Part of the Potassco project), an ASP system that grounds and solves logic programs, and returns computed answer sets.
class	DLVSolver	Wrapper class for the DLV answer set solver command line utility.