Package net.sf.tweety.arg.rankings.util
Class RankingTools
- java.lang.Object
-
- net.sf.tweety.arg.rankings.util.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.
-
-
-
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-1base
- 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 NumericalArgumentRankingn
- decimals- Returns:
- rounded NumericalArgumentRanking
-
-