Uses of Class
org.tweetyproject.comparator.GeneralComparator

Packages that use GeneralComparator

Package	Description
org.tweetyproject.arg.aspic.order
org.tweetyproject.arg.rankings.postulates
org.tweetyproject.arg.rankings.reasoner
org.tweetyproject.arg.rankings.util
org.tweetyproject.comparator

Uses of GeneralComparator in org.tweetyproject.arg.aspic.order

Subclasses of GeneralComparator in org.tweetyproject.arg.aspic.order

Modifier and Type	Class	Description
class	LastLinkOrder<T extends Invertable>
class	RuleComparator<T extends Invertable>
class	SimpleAspicOrder<T extends Invertable>
class	WeakestLinkOrder<T extends Invertable>

Uses of GeneralComparator in org.tweetyproject.arg.rankings.postulates

Method parameters in org.tweetyproject.arg.rankings.postulates with type arguments of type GeneralComparator

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

Uses of GeneralComparator in org.tweetyproject.arg.rankings.reasoner

Classes in org.tweetyproject.arg.rankings.reasoner with type parameters of type GeneralComparator

Modifier and Type	Class	Description
class	AbstractRankingReasoner<R extends GeneralComparator<Argument,DungTheory>>	Common abstract class for ranking reasoners for abstract argumentation.

Uses of GeneralComparator in org.tweetyproject.arg.rankings.util

Methods in org.tweetyproject.arg.rankings.util that return GeneralComparator

Modifier and Type	Method	Description
static GeneralComparator<Argument,DungTheory>	RankingTools.roundRanking(NumericalPartialOrder<Argument,DungTheory> ranking, int n)	Rounds values in the given numerical argument ranking to n decimals.

Uses of GeneralComparator in org.tweetyproject.comparator

Subclasses of GeneralComparator in org.tweetyproject.comparator

Modifier and Type	Class	Description
class	LatticePartialOrder<T extends Formula,R extends BeliefBase>	This class models comparable element ranking by representing the acceptability of comparable elements in a graph-based structure.
class	NumericalPartialOrder<T extends Formula,R extends BeliefBase>	This class provides an acceptability interpretation of arguments by assigning them real values.

Methods in org.tweetyproject.comparator with parameters of type GeneralComparator

Modifier and Type	Method	Description
boolean	GeneralComparator.isEquivalent(GeneralComparator<T,R> other, Collection<T> args)	Checks whether this ranking is equivalent to the other one wrt.