public class CountingUtilityFunction extends java.lang.Object implements UtilityFunction
Modifier and Type | Field and Description |
---|---|
private java.util.Set<Proposition> |
focalSet
The focal set of this function.
|
Constructor and Description |
---|
CountingUtilityFunction(java.util.Collection<? extends Proposition> focalSet)
Creates a new counting utility function for the given focal set.
|
Modifier and Type | Method and Description |
---|---|
int |
rank(java.util.Collection<? extends Proposition> propositions)
Rank the given collection of propositions.
|
private java.util.Set<Proposition> focalSet
public CountingUtilityFunction(java.util.Collection<? extends Proposition> focalSet)
focalSet
- a collection of propositions.public int rank(java.util.Collection<? extends Proposition> propositions)
UtilityFunction
rank
in interface UtilityFunction
propositions
- a collection of propositions.