public interface UtilityFunction
Modifier and Type | Method and Description |
---|---|
int |
rank(java.util.Collection<? extends Proposition> propositions)
Rank the given collection of propositions.
|
int rank(java.util.Collection<? extends Proposition> propositions)
propositions
- a collection of propositions.