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

Interface SelectionFunction<T extends Formula>

Type Parameters:
T - the type of formulas
All Known Implementing Classes:
MonotoneGlobalMaxichoiceSelectionFunction
public interface SelectionFunction<T extends 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 Details

    • 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.