Uses of Class
net.sf.tweety.arg.rankings.reasoner.AbstractRankingReasoner

Packages that use AbstractRankingReasoner

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

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

Methods in net.sf.tweety.arg.rankings.postulates with parameters of type AbstractRankingReasoner

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 AbstractRankingReasoner in net.sf.tweety.arg.rankings.reasoner

Subclasses of AbstractRankingReasoner in net.sf.tweety.arg.rankings.reasoner

Modifier and Type	Class	Description
class	BurdenBasedRankingReasoner	This class implements the "Burden-based" argument semantics approach as proposed by [Amgoud, Ben-Naim.
class	CategorizerRankingReasoner	This class implements the "h-categorizer" argument ranking approach that was originally proposed by [Besnard, Hunter.
class	DiscussionBasedRankingReasoner	This class implements the "Discussion-based" argument semantics approach as proposed by [Amgoud, Ben-Naim.
class	GrossiModgilRankingReasoner	This class implements the argument ranking approach of [Grossi, Modgil.
class	MTRankingReasoner	This class implements the argument ranking approach of [Matt, Toni.
class	SAFRankingReasoner	This class implements the ranking-based "SAF" semantics approach as proposed by [Bonzon, Delobelle, Konieczny, Maudet.
class	TuplesRankingReasoner	This class implements the "tuples*" argument ranking approach as proposed by [Cayrol, Lagasquie-Schiex.