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)
UtilityFunctionrank in interface UtilityFunctionpropositions - a collection of propositions.