Class RankingTools


  • public class RankingTools
    extends java.lang.Object
    Common utility methods for ranking reasoners.
    Author:
    Anna Gessler
    • Constructor Summary

      Constructors 
      Constructor Description
      RankingTools()  
    • Method Summary

      Modifier and Type Method Description
      static java.util.HashSet<java.util.ArrayList<Argument>> getPathsOfHigherSize​(java.util.HashSet<java.util.ArrayList<Argument>> old_paths, DungTheory base)
      Given a set of argument paths of length i-1, this method returns a set of argument paths of length i for the given DungTheory.
      static ArgumentRanking roundRanking​(NumericalArgumentRanking ranking, int n)
      Rounds values in the given numerical argument ranking to n decimals.
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • RankingTools

        public RankingTools()
    • Method Detail

      • getPathsOfHigherSize

        public static java.util.HashSet<java.util.ArrayList<Argument>> getPathsOfHigherSize​(java.util.HashSet<java.util.ArrayList<Argument>> old_paths,
                                                                                            DungTheory base)
        Given a set of argument paths of length i-1, this method returns a set of argument paths of length i for the given DungTheory.
        Parameters:
        old_paths - set of paths of length i-1
        base - the DungTheory
        Returns:
        a set of paths of length i
      • roundRanking

        public static ArgumentRanking roundRanking​(NumericalArgumentRanking ranking,
                                                   int n)
        Rounds values in the given numerical argument ranking to n decimals.
        Parameters:
        ranking - a NumericalArgumentRanking
        n - decimals
        Returns:
        rounded NumericalArgumentRanking