RankingTools

java.lang.Object

org.tweetyproject.arg.rankings.util.RankingTools

public class RankingTools extends Object

This class contains common utility methods for ranking reasoners.

Author:: Anna Gessler

Constructor Summary

Constructors

Constructor

Description

RankingTools()
Method Summary

Modifier and Type

Method

Description

static HashSet<ArrayList<Argument>>

getPathsOfHigherSize(HashSet<ArrayList<Argument>> oldPaths, 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 GeneralComparator<Argument,DungTheory>

roundRanking(NumericalPartialOrder<Argument,DungTheory> 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 Details
- RankingTools
  
  public RankingTools()
Method Details
- getPathsOfHigherSize
  
  public static HashSet<ArrayList<Argument>> getPathsOfHigherSize(HashSet<ArrayList<Argument>> oldPaths, 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:
  
  oldPaths - set of paths of length i-1
  
  base - the DungTheory
  
  Returns:
  
  a set of paths of length i
- roundRanking
  
  public static GeneralComparator<Argument,DungTheory> roundRanking(NumericalPartialOrder<Argument,DungTheory> ranking, int n)
  
  Rounds values in the given numerical argument ranking to n decimals.
  
  Parameters:
  
  ranking - a NumericalArgumentRanking
  
  n - decimals
  
  Returns:
  
  rounded NumericalArgumentRanking