Uses of Class
org.tweetyproject.comparator.LatticePartialOrder

Packages that use LatticePartialOrder

Package	Description
org.tweetyproject.arg.rankings.reasoner
org.tweetyproject.comparator

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

Subclasses with type arguments of type LatticePartialOrder in org.tweetyproject.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	CounterTransitivityReasoner	This class implements the argument ranking approach of [Pu, Luo, Ranking Arguments based on Counter-Transitivity 2017].
class	DiscussionBasedRankingReasoner	This class implements the "Discussion-based" argument semantics approach as proposed by [Amgoud, Ben-Naim.
class	IteratedGradedDefenseReasoner	This class implements the argument ranking approach of [Grossi, Modgil.
class	PropagationRankingReasoner	This class implements the argument ranking approach of [Delobelle.
class	SerialisableRankingReasoner	Implements the serialisable ranking semantics from [Blümel, Thimm.
class	TuplesRankingReasoner	This class implements the "tuples*" argument ranking approach as proposed by [Cayrol, Lagasquie-Schiex.

Methods in org.tweetyproject.arg.rankings.reasoner that return LatticePartialOrder

Modifier and Type	Method	Description
LatticePartialOrder<Argument,DungTheory>	CounterTransitivityReasoner.cardinality(DungTheory af)	orders arguments after the amount of attackers they have.
LatticePartialOrder<Argument,DungTheory>	CounterTransitivityReasoner.cardinalityFirst(DungTheory af, LatticePartialOrder<Argument,DungTheory> ra)	ranks arguments according to the cardinality function.
LatticePartialOrder<Argument,DungTheory>	BurdenBasedRankingReasoner.getModel(DungTheory base)
LatticePartialOrder<Argument,DungTheory>	CounterTransitivityReasoner.getModel(DungTheory bbase)
LatticePartialOrder<Argument,DungTheory>	DiscussionBasedRankingReasoner.getModel(DungTheory kb)
LatticePartialOrder<Argument,DungTheory>	IteratedGradedDefenseReasoner.getModel(DungTheory bbase)
LatticePartialOrder<Argument,DungTheory>	PropagationRankingReasoner.getModel(DungTheory kb)
LatticePartialOrder<Argument,DungTheory>	SerialisableRankingReasoner.getModel(DungTheory bbase)
LatticePartialOrder<Argument,DungTheory>	TuplesRankingReasoner.getModel(DungTheory kb)
LatticePartialOrder<Argument,DungTheory>	CounterTransitivityReasoner.gfpCardinality(DungTheory af)	calculates the greatest fix point.
LatticePartialOrder<Argument,DungTheory>	CounterTransitivityReasoner.quality(DungTheory af, LatticePartialOrder<Argument,DungTheory> ra)	ranks arguments according to a given ranking.
LatticePartialOrder<Argument,DungTheory>	CounterTransitivityReasoner.qualityFirst(DungTheory af, LatticePartialOrder<Argument,DungTheory> ra)	ranks arguments according to the quality function.
LatticePartialOrder<Argument,DungTheory>	CounterTransitivityReasoner.simpleDominance(DungTheory af, LatticePartialOrder<Argument,DungTheory> ra)	only ranks two arguments if one is better according to quality and cardinality

Methods in org.tweetyproject.arg.rankings.reasoner that return types with arguments of type LatticePartialOrder

Modifier and Type	Method	Description
Collection<LatticePartialOrder<Argument,DungTheory>>	BurdenBasedRankingReasoner.getModels(DungTheory bbase)
Collection<LatticePartialOrder<Argument,DungTheory>>	CounterTransitivityReasoner.getModels(DungTheory bbase)
Collection<LatticePartialOrder<Argument,DungTheory>>	DiscussionBasedRankingReasoner.getModels(DungTheory bbase)
Collection<LatticePartialOrder<Argument,DungTheory>>	IteratedGradedDefenseReasoner.getModels(DungTheory bbase)
Collection<LatticePartialOrder<Argument,DungTheory>>	PropagationRankingReasoner.getModels(DungTheory bbase)
Collection<LatticePartialOrder<Argument,DungTheory>>	SerialisableRankingReasoner.getModels(DungTheory bbase)
Collection<LatticePartialOrder<Argument,DungTheory>>	TuplesRankingReasoner.getModels(DungTheory bbase)

Methods in org.tweetyproject.arg.rankings.reasoner with parameters of type LatticePartialOrder

Modifier and Type	Method	Description
LatticePartialOrder<Argument,DungTheory>	CounterTransitivityReasoner.cardinalityFirst(DungTheory af, LatticePartialOrder<Argument,DungTheory> ra)	ranks arguments according to the cardinality function.
LatticePartialOrder<Argument,DungTheory>	CounterTransitivityReasoner.quality(DungTheory af, LatticePartialOrder<Argument,DungTheory> ra)	ranks arguments according to a given ranking.
LatticePartialOrder<Argument,DungTheory>	CounterTransitivityReasoner.qualityFirst(DungTheory af, LatticePartialOrder<Argument,DungTheory> ra)	ranks arguments according to the quality function.
LatticePartialOrder<Argument,DungTheory>	CounterTransitivityReasoner.simpleDominance(DungTheory af, LatticePartialOrder<Argument,DungTheory> ra)	only ranks two arguments if one is better according to quality and cardinality

Constructors in org.tweetyproject.arg.rankings.reasoner with parameters of type LatticePartialOrder

Modifier	Constructor	Description
	CounterTransitivityReasoner(CounterTransitivityReasoner.solver sol, LatticePartialOrder<Argument,DungTheory> rank)	Constructor

Uses of LatticePartialOrder in org.tweetyproject.comparator

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

Modifier and Type	Method	Description
boolean	LatticePartialOrder.isSame(LatticePartialOrder<T,R> ra)	Return if they are the same