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.