public class MonotoneGlobalMaxichoiceSelectionFunction extends java.lang.Object implements SelectionFunction<Rule>
Constructor and Description |
---|
MonotoneGlobalMaxichoiceSelectionFunction() |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Rule> |
select(RemainderSets<Rule> remainderSets)
Select exactly one remainder set from the set of remainder sets.
|
java.util.Collection<Rule> |
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.
|
public MonotoneGlobalMaxichoiceSelectionFunction()
public java.util.Collection<Rule> select(ScreenedRemainderSets remainderSets)
remainderSets
- set of all remainder setspublic java.util.Collection<Rule> select(RemainderSets<Rule> remainderSets)
SelectionFunction
select
in interface SelectionFunction<Rule>
remainderSets
- a set of remainder sets