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) Constructor -
Uses of LatticePartialOrder in org.tweetyproject.comparator
Methods in org.tweetyproject.comparator with parameters of type LatticePartialOrderModifier and TypeMethodDescriptionbooleanLatticePartialOrder.isSame(LatticePartialOrder<T, R> ra) Return if they are the same