Uses of Interface
net.sf.tweety.lp.asp.beliefdynamics.baserevision.SelectionFunction
-
Packages that use SelectionFunction Package Description net.sf.tweety.lp.asp.beliefdynamics.baserevision -
-
Uses of SelectionFunction in net.sf.tweety.lp.asp.beliefdynamics.baserevision
Classes in net.sf.tweety.lp.asp.beliefdynamics.baserevision that implement SelectionFunction Modifier and Type Class Description class
MonotoneGlobalMaxichoiceSelectionFunction
This class implements a monotone global maxichoise selection function for remainder sets of extended logic programs as introduced in [KKI12].Constructors in net.sf.tweety.lp.asp.beliefdynamics.baserevision with parameters of type SelectionFunction 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.
-