Uses of Class
org.tweetyproject.lp.asp.beliefdynamics.baserevision.ScreenedRemainderSets
-
Uses of ScreenedRemainderSets in org.tweetyproject.lp.asp.beliefdynamics.baserevision
Modifier and TypeMethodDescriptionMonotoneGlobalMaxichoiceSelectionFunction.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.