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

Interface SelectionFunction<T extends net.sf.tweety.commons.Formula>

  • Type Parameters:
    T - the type of formulas
    All Known Implementing Classes:
    MonotoneGlobalMaxichoiceSelectionFunction
    public interface SelectionFunction<T extends net.sf.tweety.commons.Formula>
    This interface models a general selection function for remainder sets
    Author:
    Sebastian Homann

    • Method Summary

      Modifier and Type Method Description
      Collection<T> select​(RemainderSets<T> remainderSets)
      Select exactly one remainder set from the set of remainder sets.

    • Method Detail

      • select

        Collection<T> select​(RemainderSets<T> remainderSets)
        Select exactly one remainder set from the set of remainder sets.
        Parameters:
        remainderSets - a set of remainder sets
        Returns:
        one remainder set.