Package net.sf.tweety.arg.rankings.util

Class RankingTools

java.lang.Object

net.sf.tweety.arg.rankings.util.RankingTools

public class RankingTools
extends Object

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<net.sf.tweety.arg.dung.syntax.Argument>>	getPathsOfHigherSize(HashSet<ArrayList<net.sf.tweety.arg.dung.syntax.Argument>> old_paths, net.sf.tweety.arg.dung.syntax.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

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

RankingTools

public RankingTools()

Method Detail

getPathsOfHigherSize

public static HashSet<ArrayList<net.sf.tweety.arg.dung.syntax.Argument>> getPathsOfHigherSize(HashSet<ArrayList<net.sf.tweety.arg.dung.syntax.Argument>> old_paths,
                                                                                              net.sf.tweety.arg.dung.syntax.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