Hierarchy For Package org.tweetyproject.logics.translators.adfrevision

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • org.tweetyproject.commons.AbstractInterpretation<B,S> (implements org.tweetyproject.commons.Interpretation<B,S>)
    • org.tweetyproject.logics.translators.adfrevision.PriestWorldAdapted
    • org.tweetyproject.logics.translators.adfrevision.RankingFunctionThreeValued
  • org.tweetyproject.logics.translators.adfrevision.DalalDistanceThreeValued
  • org.tweetyproject.commons.Parser<T,S>
    • org.tweetyproject.logics.translators.adfrevision.PlParserThreeValued
  • org.tweetyproject.logics.pl.syntax.PlFormula (implements org.tweetyproject.logics.commons.syntax.interfaces.ClassicalFormula)
    • org.tweetyproject.logics.translators.adfrevision.Indecision
    • org.tweetyproject.logics.translators.adfrevision.WeakNegation
  • org.tweetyproject.logics.translators.adfrevision.PreferredRevisionerADF
  • org.tweetyproject.logics.translators.adfrevision.PriestWorldIterator (implements org.tweetyproject.commons.InterpretationIterator<S,B,T>)

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
    • org.tweetyproject.logics.translators.adfrevision.PriestWorldAdapted.TruthValue