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 Type Method Description
  
  int rank(java.util.Collection<? extends Proposition> propositions)
  Rank the given collection of propositions.

- Method Detail
  - rank
```
int rank(java.util.Collection<? extends Proposition> propositions)
```
    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.