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