Class Hierarchy
- java.lang.Object
- org.tweetyproject.logics.rdl.syntax.DefaultTheory (implements org.tweetyproject.commons.BeliefBase)
- org.tweetyproject.logics.commons.syntax.RelationalFormula (implements org.tweetyproject.logics.commons.syntax.interfaces.ClassicalFormula, org.tweetyproject.logics.commons.syntax.interfaces.QuantifiedFormula)
- org.tweetyproject.logics.rdl.syntax.DefaultRule