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

Packages that use Solver

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

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

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

Modifier and Type	Class and Description
class	Clingo
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.