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

Packages that use ASPSolver
Package	Description
net.sf.tweety.action.description.analysis
net.sf.tweety.action.description.reasoner
net.sf.tweety.action.query.analysis
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 ASPSolver in net.sf.tweety.action.description.analysis

Fields in net.sf.tweety.action.description.analysis declared as ASPSolver
Modifier and Type	Field	Description
`private ASPSolver`	CActionDescriptionConsistencyTester.`aspsolver`

Constructors in net.sf.tweety.action.description.analysis with parameters of type ASPSolver
Constructor	Description
`CActionDescriptionConsistencyTester(ASPSolver aspsolver)`	Creates a new consistency tester which will use the given answer set solver.

Uses of ASPSolver in net.sf.tweety.action.description.reasoner

Fields in net.sf.tweety.action.description.reasoner declared as ASPSolver
Modifier and Type	Field	Description
`private ASPSolver`	CTransitionSystemCalculator.`aspsolver`

Constructors in net.sf.tweety.action.description.reasoner with parameters of type ASPSolver
Constructor	Description
`CTransitionSystemCalculator(ASPSolver aspsolver)`	Creates a new transition system calculator with the given interface to an answer set solver.

Uses of ASPSolver in net.sf.tweety.action.query.analysis

Constructors in net.sf.tweety.action.query.analysis with parameters of type ASPSolver
Constructor	Description
`SActionQuerySatisfactionTester(ASPSolver aspsolver)`	Creates a new instance of this satisfaction tester using the given answer set solver.

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

Fields in net.sf.tweety.lp.asp.analysis declared as ASPSolver
Modifier and Type	Field	Description
`static ASPSolver`	AspInconsistencyMeasureTest.`solver`
`private ASPSolver`	PmInconsistencyMeasure.`solver`	The ASP solver used for determining inconsistency
`private ASPSolver`	SdInconsistencyMeasure.`solver`	The ASP solver used for determining inconsistency

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

Fields in net.sf.tweety.lp.asp.beliefdynamics.baserevision declared as ASPSolver
Modifier and Type	Field	Description
`private ASPSolver`	ELPBaseRevisionOperator.`solver`
`private ASPSolver`	ScreenedMaxichoiceConsolidation.`solver`
`private ASPSolver`	ScreenedRemainderSets.`solver`

Constructors in net.sf.tweety.lp.asp.beliefdynamics.baserevision with parameters of type ASPSolver
Constructor	Description
`ELPBaseRevisionOperator(ASPSolver solver, SelectionFunction<ASPRule> selection)`
`ScreenedMaxichoiceConsolidation(Program screen, SelectionFunction<ASPRule> selection, ASPSolver 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, ASPSolver solver)`	Creates a new set of screened remainder sets of program p that all contain the screened rules r.

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

Fields in net.sf.tweety.lp.asp.beliefdynamics.gui declared as ASPSolver
Modifier and Type Field Description

protected ASPSolver SimpleRevisionCompareModel.solver

Methods in net.sf.tweety.lp.asp.beliefdynamics.gui with parameters of type ASPSolver
Modifier and Type Method Description

void SimpleRevisionCompareModel.setSolver(ASPSolver solver)

Constructors in net.sf.tweety.lp.asp.beliefdynamics.gui with parameters of type ASPSolver
Constructor Description

SimpleRevisionCompareModel(ASPSolver solver)

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

Fields in net.sf.tweety.lp.asp.beliefdynamics.revision declared as ASPSolver
Modifier and Type	Field	Description
`private ASPSolver`	CredibilityRevision.`solver`	reference to the solver used for the answer set generation
`private ASPSolver`	PreferenceHandling.`solver`

Methods in net.sf.tweety.lp.asp.beliefdynamics.revision with parameters of type ASPSolver
Modifier and Type	Method	Description
`void`	PreferenceHandling.`setSolver(ASPSolver solver)`

Constructors in net.sf.tweety.lp.asp.beliefdynamics.revision with parameters of type ASPSolver
Constructor	Description
`CredibilityRevision(ASPSolver solver)`	Ctor: setting the solver at construction time
`CredibilityRevision(ASPSolver solver, int maxInt)`
`PreferenceHandling(ASPSolver solver)`
`PreferenceHandling(ASPSolver solver, int maxInt)`

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

Fields in net.sf.tweety.lp.asp.beliefdynamics.selectiverevision declared as ASPSolver
Modifier and Type	Field	Description
`private ASPSolver`	ParameterisedArgumentativeSelectiveRevisionOperator.`solver`

Constructors in net.sf.tweety.lp.asp.beliefdynamics.selectiverevision with parameters of type ASPSolver
Constructor	Description
`ParameterisedArgumentativeSelectiveRevisionOperator(ASPSolver 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 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.