Uses of Class
org.tweetyproject.lp.asp.reasoner.ASPSolver
-
-
-
Uses of ASPSolver in org.tweetyproject.action.description.analysis
Constructors in org.tweetyproject.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 org.tweetyproject.action.description.reasoner
Constructors in org.tweetyproject.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 org.tweetyproject.action.query.analysis
Constructors in org.tweetyproject.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 org.tweetyproject.lp.asp.analysis
Fields in org.tweetyproject.lp.asp.analysis declared as ASPSolver Modifier and Type Field Description static ASPSolver
AspInconsistencyMeasureTest. solver
Constructors in org.tweetyproject.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 org.tweetyproject.lp.asp.beliefdynamics.baserevision
Constructors in org.tweetyproject.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 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)
Constructors in org.tweetyproject.lp.asp.beliefdynamics.gui with parameters of type ASPSolver Constructor Description SimpleRevisionCompareModel(ASPSolver 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)
Constructors in org.tweetyproject.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 org.tweetyproject.lp.asp.beliefdynamics.selectiverevision
Constructors in org.tweetyproject.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 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.
-