Uses of Class
net.sf.tweety.lp.asp.reasoner.ASPSolver
-
-
-
Uses of ASPSolver in net.sf.tweety.action.description.analysis
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
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
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
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
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
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
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.
-