Uses of Class
net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedRemainderSets

Packages that use ScreenedRemainderSets

Package	Description
net.sf.tweety.lp.asp.beliefdynamics.baserevision

Uses of ScreenedRemainderSets in net.sf.tweety.lp.asp.beliefdynamics.baserevision

Methods in net.sf.tweety.lp.asp.beliefdynamics.baserevision with parameters of type ScreenedRemainderSets

Modifier and Type	Method and Description
Collection<net.sf.tweety.lp.asp.syntax.Rule>	MonotoneGlobalMaxichoiceSelectionFunction.select(ScreenedRemainderSets remainderSets) Selects the maximal remainder set from the set of all remainder sets according to a total order on all extended logic programs.