Interface UtilityFunction

    • Method Summary

      Modifier and Type Method Description
      int rank​(Collection<? extends net.sf.tweety.logics.pl.syntax.Proposition> propositions)
      Rank the given collection of propositions.
    • Method Detail

      • rank

        int rank​(Collection<? extends net.sf.tweety.logics.pl.syntax.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.