Class Hierarchy
- java.lang.Object
- org.tweetyproject.commons.AbstractInterpretation<B,S> (implements org.tweetyproject.commons.Interpretation<B,S>)
- org.tweetyproject.logics.translators.adfcl.PriestWorldAdapted
- org.tweetyproject.logics.translators.adfcl.RankingFunctionThreeValued
- org.tweetyproject.logics.translators.adfcl.DalalDistanceThreeValued
- org.tweetyproject.commons.Parser<T,S>
- org.tweetyproject.logics.translators.adfcl.PlParserThreeValued
- org.tweetyproject.logics.pl.syntax.PlFormula (implements org.tweetyproject.logics.commons.syntax.interfaces.ClassicalFormula)
- org.tweetyproject.logics.translators.adfcl.Indecision
- org.tweetyproject.logics.translators.adfcl.WeakNegation
- org.tweetyproject.logics.translators.adfcl.PreferredRevisionerADF
- org.tweetyproject.logics.translators.adfcl.PriestWorldIterator (implements org.tweetyproject.commons.InterpretationIterator<S,B,T>)
- org.tweetyproject.commons.AbstractInterpretation<B,S> (implements org.tweetyproject.commons.Interpretation<B,S>)
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.adfcl.PriestWorldAdapted.TruthValue
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)