Uses of Class
net.sf.tweety.arg.rankings.semantics.ArgumentRanking

Packages that use ArgumentRanking

Package	Description
net.sf.tweety.arg.rankings.postulates
net.sf.tweety.arg.rankings.reasoner
net.sf.tweety.arg.rankings.semantics
net.sf.tweety.arg.rankings.util

Uses of ArgumentRanking in net.sf.tweety.arg.rankings.postulates

Method parameters in net.sf.tweety.arg.rankings.postulates with type arguments of type ArgumentRanking

Modifier and Type	Method	Description
boolean	RaAbstraction.isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean	RaAdditionOfAttackBranch.isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean	RaAdditionOfDefenseBranch.isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean	RaAttackVsFullDefense.isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean	RaCardinalityPrecedence.isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean	RaCounterTransitivity.isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean	RaDefensePrecedence.isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean	RaDistDefensePrecedence.isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean	RaIncreaseOfAttackBranch.isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean	RaIncreaseOfDefenseBranch.isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean	RaIndependence.isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
abstract boolean	RankingPostulate.isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean	RaNonAttackedEquivalence.isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean	RaQualityPrecedence.isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean	RaSelfContradiction.isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean	RaStrictAdditionOfDefenseBranch.isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean	RaStrictCounterTransitivity.isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean	RaTotal.isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean	RaVoidPrecedence.isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)

Uses of ArgumentRanking in net.sf.tweety.arg.rankings.reasoner

Classes in net.sf.tweety.arg.rankings.reasoner with type parameters of type ArgumentRanking

Modifier and Type	Class	Description
class	AbstractRankingReasoner<R extends ArgumentRanking>	Common abstract class for ranking reasoners for abstract argumentation.

Uses of ArgumentRanking in net.sf.tweety.arg.rankings.semantics

Subclasses of ArgumentRanking in net.sf.tweety.arg.rankings.semantics

Modifier and Type	Class	Description
class	LatticeArgumentRanking	This class models argument ranking by representing the acceptability of arguments in a graph-based structure.
class	NumericalArgumentRanking	This class provides a acceptability interpretation of arguments by assigning them real values where larger values indicate more acceptability.

Methods in net.sf.tweety.arg.rankings.semantics with parameters of type ArgumentRanking

Modifier and Type	Method	Description
boolean	ArgumentRanking.isEquivalent(ArgumentRanking other, java.util.Collection<Argument> args)	Checks whether this ranking is equivalent to the other one wrt.

Uses of ArgumentRanking in net.sf.tweety.arg.rankings.util

Methods in net.sf.tweety.arg.rankings.util that return ArgumentRanking

Modifier and Type	Method	Description
static ArgumentRanking	RankingTools.roundRanking(NumericalArgumentRanking ranking, int n)	Rounds values in the given numerical argument ranking to n decimals.