Uses of Class
org.tweetyproject.lp.asp.reasoner.ASPSolver

Packages that use ASPSolver

Package	Description
org.tweetyproject.action.description.analysis
org.tweetyproject.action.description.reasoner
org.tweetyproject.action.query.analysis
org.tweetyproject.lp.asp.analysis
org.tweetyproject.lp.asp.beliefdynamics.baserevision
org.tweetyproject.lp.asp.beliefdynamics.gui
org.tweetyproject.lp.asp.beliefdynamics.revision
org.tweetyproject.lp.asp.beliefdynamics.selectiverevision
org.tweetyproject.lp.asp.reasoner

Uses of ASPSolver in org.tweetyproject.action.description.analysis

Constructors in org.tweetyproject.action.description.analysis with parameters of type ASPSolver

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

Uses of ASPSolver in org.tweetyproject.action.description.reasoner

Constructors in org.tweetyproject.action.description.reasoner with parameters of type ASPSolver

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

Uses of ASPSolver in org.tweetyproject.action.query.analysis

Constructors in org.tweetyproject.action.query.analysis with parameters of type ASPSolver

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

Uses of ASPSolver in org.tweetyproject.lp.asp.analysis

Fields in org.tweetyproject.lp.asp.analysis declared as ASPSolver

Modifier and Type	Field	Description
static ASPSolver	AspInconsistencyMeasureTest.solver	solver

Constructors in org.tweetyproject.lp.asp.analysis with parameters of type ASPSolver

Modifier	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 org.tweetyproject.lp.asp.beliefdynamics.baserevision

Constructors in org.tweetyproject.lp.asp.beliefdynamics.baserevision with parameters of type ASPSolver

Modifier	Constructor	Description
	ELPBaseRevisionOperator(ASPSolver solver, SelectionFunction<ASPRule> selection)	Constructs an ELPBaseRevisionOperator with the specified ASP solver and selection function.
	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 org.tweetyproject.lp.asp.beliefdynamics.gui

Methods in org.tweetyproject.lp.asp.beliefdynamics.gui with parameters of type ASPSolver

Modifier and Type	Method	Description
void	SimpleRevisionCompareModel.setSolver(ASPSolver solver)	Sets the ASPSolver instance for this SimpleRevisionCompareModel instance.

Constructors in org.tweetyproject.lp.asp.beliefdynamics.gui with parameters of type ASPSolver

Modifier	Constructor	Description
	SimpleRevisionCompareModel(ASPSolver solver)	Constructs a SimpleRevisionCompareModel instance with the specified ASP solver.

Uses of ASPSolver in org.tweetyproject.lp.asp.beliefdynamics.revision

Methods in org.tweetyproject.lp.asp.beliefdynamics.revision with parameters of type ASPSolver

Modifier and Type	Method	Description
void	PreferenceHandling.setSolver(ASPSolver solver)	Sets the ASPSolver instance for this PreferenceHandling instance.

Constructors in org.tweetyproject.lp.asp.beliefdynamics.revision with parameters of type ASPSolver

Modifier	Constructor	Description
	CredibilityRevision(ASPSolver solver)	Ctor: setting the solver at construction time
	CredibilityRevision(ASPSolver solver, int maxInt)	Constructs a CredibilityRevision instance with the specified ASP solver and maximum integer value.
	PreferenceHandling(ASPSolver solver)	Constructs a PreferenceHandling instance with the specified ASP solver and a default maximum integer value of 5.
	PreferenceHandling(ASPSolver solver, int maxInt)	Constructs a PreferenceHandling instance with the specified ASP solver and maximum integer value.

Uses of ASPSolver in org.tweetyproject.lp.asp.beliefdynamics.selectiverevision

Constructors in org.tweetyproject.lp.asp.beliefdynamics.selectiverevision with parameters of type ASPSolver

Modifier	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 org.tweetyproject.lp.asp.reasoner

Subclasses of ASPSolver in org.tweetyproject.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.