Uses of Interface
org.tweetyproject.lp.asp.beliefdynamics.baserevision.SelectionFunction

Packages that use SelectionFunction

Package	Description
org.tweetyproject.lp.asp.beliefdynamics.baserevision

Uses of SelectionFunction in org.tweetyproject.lp.asp.beliefdynamics.baserevision

Classes in org.tweetyproject.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 org.tweetyproject.lp.asp.beliefdynamics.baserevision with parameters of type SelectionFunction

Modifier	Constructor	Description
	ELPBaseRevisionOperator(ASPSolver solver, SelectionFunction<ASPRule> selection)	Constructs an ELPBaseRevisionOperator with the specified ASP solver and selection function.
	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.