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

Packages that use AspInterface

Package	Description
net.sf.tweety.action.description
net.sf.tweety.action.query
net.sf.tweety.lp.asp.solver

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

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

Modifier and Type	Field and Description
private AspInterface	CTransitionSystemCalculator.aspsolver
private AspInterface	CActionDescriptionConsistencyTester.aspsolver

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

Constructor and Description
CActionDescriptionConsistencyTester(AspInterface aspsolver) Creates a new consistency tester which will use the given answer set solver.
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

Constructors in net.sf.tweety.action.query 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.solver

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

Modifier and Type	Field and Description
protected AspInterface	SolverBase.ai