Uses of Class
org.tweetyproject.lp.asp.beliefdynamics.baserevision.ScreenedRemainderSets
-
Packages that use ScreenedRemainderSets Package Description org.tweetyproject.lp.asp.beliefdynamics.baserevision -
-
Uses of ScreenedRemainderSets in org.tweetyproject.lp.asp.beliefdynamics.baserevision
Methods in org.tweetyproject.lp.asp.beliefdynamics.baserevision with parameters of type ScreenedRemainderSets Modifier and Type Method Description java.util.Collection<ASPRule>
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.
-