Interface UtilityFunction

    • 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.