Uses of Class
net.sf.tweety.lp.asp.reasoner.ASPSolver
-
-
-
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 inconsistencyprivate ASPSolver
SdInconsistencyMeasure. solver
The ASP solver used for determining inconsistencyConstructors 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 generationprivate 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 timeCredibilityRevision(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.
-