Hierarchy For Package org.tweetyproject.arg.dung.reasoner

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • org.tweetyproject.arg.dung.reasoner.AbstractClaimBasedReasoner (implements org.tweetyproject.commons.ModelProvider<S,B,T>, org.tweetyproject.commons.QualitativeReasoner<B,F>)
    • org.tweetyproject.arg.dung.reasoner.SimpleClInheritedReasoner
    • org.tweetyproject.arg.dung.reasoner.SimpleClNaiveReasoner
    • org.tweetyproject.arg.dung.reasoner.SimpleClPreferredReaonser
    • org.tweetyproject.arg.dung.reasoner.SimpleClSemistableReasoner
    • org.tweetyproject.arg.dung.reasoner.SimpleClStableReasoner
    • org.tweetyproject.arg.dung.reasoner.SimpleClStagedReasoner
  • org.tweetyproject.arg.dung.reasoner.AbstractDungReasoner (implements org.tweetyproject.commons.QualitativeReasoner<B,F>)
    • org.tweetyproject.arg.dung.reasoner.AbstractAcceptabilityReasoner
      • org.tweetyproject.arg.dung.reasoner.EeeAcceptabilityReasoner
      • org.tweetyproject.arg.dung.reasoner.FudgeAcceptabilityReasoner
      • org.tweetyproject.arg.dung.reasoner.IaqAcceptabilityReasoner
      • org.tweetyproject.arg.dung.reasoner.SeeAcceptabilityReasoner
      • org.tweetyproject.arg.dung.reasoner.SeemAcceptabilityReasoner
    • org.tweetyproject.arg.dung.reasoner.AbstractExtensionReasoner (implements org.tweetyproject.commons.ModelProvider<S,B,T>, org.tweetyproject.commons.postulates.PostulateEvaluatable<S>)
      • org.tweetyproject.arg.dung.reasoner.AbstractSatExtensionReasoner
        • org.tweetyproject.arg.dung.reasoner.SatCompleteReasoner
        • org.tweetyproject.arg.dung.reasoner.SatStableReasoner
      • org.tweetyproject.arg.dung.reasoner.ProboI23Reasoner
      • org.tweetyproject.arg.dung.reasoner.ProboReasoner
      • org.tweetyproject.arg.dung.reasoner.QualifiedReasoner
      • org.tweetyproject.arg.dung.reasoner.SccCF2Reasoner
      • org.tweetyproject.arg.dung.reasoner.SCF2Reasoner
      • org.tweetyproject.arg.dung.reasoner.SCOOCNaiveReasoner
      • org.tweetyproject.arg.dung.reasoner.SemiQualifiedReasoner
      • org.tweetyproject.arg.dung.reasoner.SimpleAdmissibleReasoner
      • org.tweetyproject.arg.dung.reasoner.SimpleCompleteReasoner
      • org.tweetyproject.arg.dung.reasoner.SimpleConflictFreeReasoner
      • org.tweetyproject.arg.dung.reasoner.SimpleEagerReasoner
      • org.tweetyproject.arg.dung.reasoner.SimpleGroundedReasoner
      • org.tweetyproject.arg.dung.reasoner.SimpleIdealReasoner
      • org.tweetyproject.arg.dung.reasoner.SimpleInitialReasoner
      • org.tweetyproject.arg.dung.reasoner.SimpleNaiveReasoner
      • org.tweetyproject.arg.dung.reasoner.SimplePreferredReasoner
      • org.tweetyproject.arg.dung.reasoner.SimpleResolutionBasedReasoner
      • org.tweetyproject.arg.dung.reasoner.SimpleSccCompleteReasoner
      • org.tweetyproject.arg.dung.reasoner.SimpleSccRecursiveReasoner
      • org.tweetyproject.arg.dung.reasoner.SimpleSemiStableReasoner
      • org.tweetyproject.arg.dung.reasoner.SimpleStableReasoner
      • org.tweetyproject.arg.dung.reasoner.SimpleStageReasoner
      • org.tweetyproject.arg.dung.reasoner.SolidAdmissibleReasoner
      • org.tweetyproject.arg.dung.reasoner.Stage2Reasoner
      • org.tweetyproject.arg.dung.reasoner.StronglyAdmissibleReasoner
      • org.tweetyproject.arg.dung.reasoner.VacuousReductReasoner
        • org.tweetyproject.arg.dung.reasoner.StronglyUndisputedReasoner
        • org.tweetyproject.arg.dung.reasoner.UndisputedReasoner
      • org.tweetyproject.arg.dung.reasoner.WeaklyAdmissibleReasoner
      • org.tweetyproject.arg.dung.reasoner.WeaklyCompleteReasoner
      • org.tweetyproject.arg.dung.reasoner.WeaklyGroundedReasoner
      • org.tweetyproject.arg.dung.reasoner.WeaklyPreferredReasoner
    • org.tweetyproject.arg.dung.reasoner.StratifiedLabelingReasoner (implements org.tweetyproject.commons.ModelProvider<S,B,T>)
  • org.tweetyproject.arg.dung.reasoner.ExtensionRankingReasoner
  • org.tweetyproject.arg.dung.reasoner.GCF_GreedyKApproximationReasoner (implements org.tweetyproject.arg.dung.reasoner.KOptimisationReasoner)
  • org.tweetyproject.arg.dung.reasoner.GFR_GreedyKApproximationReasoner (implements org.tweetyproject.arg.dung.reasoner.KOptimisationReasoner)
  • org.tweetyproject.arg.dung.reasoner.IncompleteReasoner
  • org.tweetyproject.arg.dung.reasoner.MaxSatKStableAstReasoner (implements org.tweetyproject.arg.dung.reasoner.KOptimisationReasoner)
  • org.tweetyproject.arg.dung.reasoner.MaxSatKStableReasoner (implements org.tweetyproject.arg.dung.reasoner.KOptimisationReasoner)
  • org.tweetyproject.arg.dung.reasoner.SCF_GreedyKApproximationReasoner (implements org.tweetyproject.arg.dung.reasoner.KOptimisationReasoner)
  • org.tweetyproject.arg.dung.reasoner.SFR_GreedyKApproximationReasoner (implements org.tweetyproject.arg.dung.reasoner.KOptimisationReasoner)

Interface Hierarchy

• org.tweetyproject.commons.Reasoner<O,B,F>
  • org.tweetyproject.arg.dung.reasoner.KOptimisationReasoner

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
    • org.tweetyproject.arg.dung.reasoner.ProboProblem
    • org.tweetyproject.arg.dung.reasoner.ProboProblem.SubProblem
    • org.tweetyproject.arg.dung.reasoner.SimpleInitialReasoner.Initial