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 and 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 and Description
ELPBaseRevisionOperator(net.sf.tweety.lp.asp.reasoner.ASPSolver solver, SelectionFunction<net.sf.tweety.lp.asp.syntax.ASPRule> selection)
ScreenedMaxichoiceConsolidation(net.sf.tweety.lp.asp.syntax.Program screen, SelectionFunction<net.sf.tweety.lp.asp.syntax.ASPRule> selection, net.sf.tweety.lp.asp.reasoner.ASPSolver solver) Creates a new screened maxi-choice consolidation operator with the given screen, selection function and a link to an answer set solver.