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.beliefdynamics.baserevision
net.sf.tweety.lp.asp.beliefdynamics.gui
net.sf.tweety.lp.asp.beliefdynamics.revision
net.sf.tweety.lp.asp.beliefdynamics.selectiverevision
net.sf.tweety.lp.asp.reasoner

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

Fields in net.sf.tweety.lp.asp.analysis declared as Solver

Modifier and Type	Field and Description
static Solver	AspInconsistencyMeasureTest.solver
private Solver	SdInconsistencyMeasure.solver The ASP solver used for determining inconsistency
private Solver	PmInconsistencyMeasure.solver The ASP solver used for determining inconsistency

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.beliefdynamics.baserevision

Fields in net.sf.tweety.lp.asp.beliefdynamics.baserevision declared as Solver

Modifier and Type	Field and Description
private Solver	ScreenedRemainderSets.solver
private Solver	ELPBaseRevisionOperator.solver
private Solver	ScreenedMaxichoiceConsolidation.solver

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

Constructor and Description
ELPBaseRevisionOperator(Solver solver, SelectionFunction<Rule> selection)
ScreenedMaxichoiceConsolidation(Program screen, SelectionFunction<Rule> selection, Solver solver) Creates a new screened maxi-choice consolidation operator with the given screen, selection function and a link to an answer set solver.
ScreenedRemainderSets(Program p, Program r, Solver solver) Creates a new set of screened remainder sets of program p that all contain the screened rules r.

Uses of Solver in net.sf.tweety.lp.asp.beliefdynamics.gui

Fields in net.sf.tweety.lp.asp.beliefdynamics.gui declared as Solver

Modifier and Type	Field and Description
protected Solver	SimpleRevisionCompareModel.solver

Methods in net.sf.tweety.lp.asp.beliefdynamics.gui with parameters of type Solver

Modifier and Type	Method and Description
void	SimpleRevisionCompareModel.setSolver(Solver solver)

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

Constructor and Description
SimpleRevisionCompareModel(Solver solver)

Uses of Solver in net.sf.tweety.lp.asp.beliefdynamics.revision

Fields in net.sf.tweety.lp.asp.beliefdynamics.revision declared as Solver

Modifier and Type	Field and Description
private Solver	PreferenceHandling.solver
private Solver	CredibilityRevision.solver reference to the solver used for the answer set generation

Methods in net.sf.tweety.lp.asp.beliefdynamics.revision with parameters of type Solver

Modifier and Type	Method and Description
void	PreferenceHandling.setSolver(Solver solver)

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

Constructor and Description
CredibilityRevision(Solver solver) Ctor: setting the solver at construction time
CredibilityRevision(Solver solver, int maxInt)
PreferenceHandling(Solver solver)
PreferenceHandling(Solver solver, int maxInt)

Uses of Solver in net.sf.tweety.lp.asp.beliefdynamics.selectiverevision

Fields in net.sf.tweety.lp.asp.beliefdynamics.selectiverevision declared as Solver

Modifier and Type	Field and Description
private Solver	ParameterisedArgumentativeSelectiveRevisionOperator.solver

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

Constructor and Description
ParameterisedArgumentativeSelectiveRevisionOperator(Solver solver, AttackStrategy attackRelation, AttackStrategy defenseRelation, ParameterisedArgumentativeSelectiveRevisionOperator.TransformationType type) Constructs a new selective revision operator using the given attack relations and a asp 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.