Uses of Class
org.tweetyproject.comparator.LatticePartialOrder
Packages that use LatticePartialOrder
-
Uses of LatticePartialOrder in org.tweetyproject.arg.rankings.reasoner
Methods in org.tweetyproject.arg.rankings.reasoner that return LatticePartialOrderModifier and TypeMethodDescriptionCounterTransitivityReasoner.cardinality
(DungTheory af) orders arguments after the amount of attackers they have.CounterTransitivityReasoner.cardinalityFirst
(DungTheory af, LatticePartialOrder<Argument, DungTheory> ra) ranks arguments according to the cardinality function.BurdenBasedRankingReasoner.getModel
(DungTheory base) CounterTransitivityReasoner.getModel
(DungTheory bbase) DiscussionBasedRankingReasoner.getModel
(DungTheory kb) IteratedGradedDefenseReasoner.getModel
(DungTheory bbase) PropagationRankingReasoner.getModel
(DungTheory kb) SerialisableRankingReasoner.getModel
(DungTheory bbase) TuplesRankingReasoner.getModel
(DungTheory kb) CounterTransitivityReasoner.gfpCardinality
(DungTheory af) calculates the greatest fix point.CounterTransitivityReasoner.quality
(DungTheory af, LatticePartialOrder<Argument, DungTheory> ra) ranks arguments according to a given ranking.CounterTransitivityReasoner.qualityFirst
(DungTheory af, LatticePartialOrder<Argument, DungTheory> ra) ranks arguments according to the quality function.CounterTransitivityReasoner.simpleDominance
(DungTheory af, LatticePartialOrder<Argument, DungTheory> ra) only ranks two arguments if one is better according to quality and cardinalityMethods in org.tweetyproject.arg.rankings.reasoner that return types with arguments of type LatticePartialOrderModifier and TypeMethodDescriptionBurdenBasedRankingReasoner.getModels
(DungTheory bbase) CounterTransitivityReasoner.getModels
(DungTheory bbase) DiscussionBasedRankingReasoner.getModels
(DungTheory bbase) IteratedGradedDefenseReasoner.getModels
(DungTheory bbase) PropagationRankingReasoner.getModels
(DungTheory bbase) SerialisableRankingReasoner.getModels
(DungTheory bbase) TuplesRankingReasoner.getModels
(DungTheory bbase) Methods in org.tweetyproject.arg.rankings.reasoner with parameters of type LatticePartialOrderModifier and TypeMethodDescriptionCounterTransitivityReasoner.cardinalityFirst
(DungTheory af, LatticePartialOrder<Argument, DungTheory> ra) ranks arguments according to the cardinality function.CounterTransitivityReasoner.quality
(DungTheory af, LatticePartialOrder<Argument, DungTheory> ra) ranks arguments according to a given ranking.CounterTransitivityReasoner.qualityFirst
(DungTheory af, LatticePartialOrder<Argument, DungTheory> ra) ranks arguments according to the quality function.CounterTransitivityReasoner.simpleDominance
(DungTheory af, LatticePartialOrder<Argument, DungTheory> ra) only ranks two arguments if one is better according to quality and cardinalityConstructors in org.tweetyproject.arg.rankings.reasoner with parameters of type LatticePartialOrderModifierConstructorDescriptionCounterTransitivityReasoner
(CounterTransitivityReasoner.solver sol, LatticePartialOrder<Argument, DungTheory> rank) -
Uses of LatticePartialOrder in org.tweetyproject.comparator
Methods in org.tweetyproject.comparator with parameters of type LatticePartialOrderModifier and TypeMethodDescriptionboolean
LatticePartialOrder.isSame
(LatticePartialOrder<T, R> ra)