Class Hierarchy
- java.lang.Object
- net.sf.tweety.logics.pl.syntax.PropositionalFormula (implements net.sf.tweety.logics.commons.syntax.interfaces.ClassicalFormula)
- net.sf.tweety.logics.pl.syntax.Proposition (implements net.sf.tweety.logics.commons.syntax.interfaces.Atom, java.lang.Comparable<T>)
- net.sf.tweety.action.query.syntax.SActionQuery (implements net.sf.tweety.action.ActionQuery)
Copyright © 2018. All rights reserved.