Uses of Class
org.tweetyproject.comparator.LatticePartialOrder
-
Uses of LatticePartialOrder in org.tweetyproject.arg.rankings.reasoner
Modifier 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 cardinalityModifier 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) Modifier 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 cardinalityModifierConstructorDescriptionCounterTransitivityReasoner
(CounterTransitivityReasoner.solver sol, LatticePartialOrder<Argument, DungTheory> rank) Constructor -
Uses of LatticePartialOrder in org.tweetyproject.comparator
Modifier and TypeMethodDescriptionboolean
LatticePartialOrder.isSame
(LatticePartialOrder<T, R> ra) Return if they are the same