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
      java.util.Collection<T> select​(RemainderSets<T> remainderSets)
      Select exactly one remainder set from the set of remainder sets.
    • Method Detail

      • select

        java.util.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.