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 and 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 and 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.