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

Packages that use AspInterface

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

Uses of AspInterface in net.sf.tweety.action.description.analysis

Fields in net.sf.tweety.action.description.analysis declared as AspInterface

Modifier and Type	Field and Description
private AspInterface	CActionDescriptionConsistencyTester.aspsolver

Constructors in net.sf.tweety.action.description.analysis with parameters of type AspInterface

Constructor and Description
CActionDescriptionConsistencyTester(AspInterface aspsolver) Creates a new consistency tester which will use the given answer set solver.

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

Fields in net.sf.tweety.action.description.reasoner declared as AspInterface

Modifier and Type	Field and Description
private AspInterface	CTransitionSystemCalculator.aspsolver

Constructors in net.sf.tweety.action.description.reasoner with parameters of type AspInterface

Constructor and Description
CTransitionSystemCalculator(AspInterface aspsolver) Creates a new transition system calculator with the given interface to an answer set solver.

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

Constructors in net.sf.tweety.action.query.analysis with parameters of type AspInterface

Constructor and Description
SActionQuerySatisfactionTester(AspInterface aspsolver) Creates a new instance of this satisfaction tester using the given answer set solver.

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

Fields in net.sf.tweety.lp.asp.reasoner declared as AspInterface

Modifier and Type	Field and Description
protected AspInterface	SolverBase.ai