Class Hierarchy
- java.lang.Object
- net.sf.tweety.logics.pl.syntax.PlFormula (implements net.sf.tweety.logics.commons.syntax.interfaces.ClassicalFormula)
- net.sf.tweety.logics.qbf.syntax.ExistsQuantifiedFormula
- net.sf.tweety.logics.qbf.syntax.ForallQuantifiedFormula
- net.sf.tweety.logics.pl.syntax.PlFormula (implements net.sf.tweety.logics.commons.syntax.interfaces.ClassicalFormula)