Interface UtilityFunction
- All Known Implementing Classes:
 CountingUtilityFunction,IndicatorUtilityFunction,MultipleIndicatorUtilityFunction
public interface UtilityFunction
This interface models an utility function, i.e. a 
 function that maps sets of propositions to an integer and
 thus ranking sets of propositions.
- Author:
 - Matthias Thimm
 
- 
Method Summary
Modifier and TypeMethodDescriptionintrank(Collection<? extends Proposition> propositions) Rank the given collection of propositions. 
- 
Method Details
- 
rank
Rank the given collection of propositions. A set S is preferred to a set T if rank(S)>rank(T).- Parameters:
 propositions- a collection of propositions.- Returns:
 - the rank of the given collection.
 
 
 -