Uses of Interface
net.sf.tweety.lp.asp.reasoner.Solver

Packages that use Solver

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

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

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

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

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

Classes in net.sf.tweety.lp.asp.reasoner that implement Solver

Modifier and Type	Class and Description
class	Clingo Invokes Clingo (Part of the Potassco project), an ASP system that grounds and solves logic programs, and returns computed answer sets.
class	DLV Wrapper class for the DLV answer set solver command line utility.
class	DLVComplex
class	SolverBase Base class for solver adds generic error handling code.