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