Class Hierarchy
- java.lang.Object
- net.sf.tweety.commons.BeliefSet<T,S> (implements net.sf.tweety.commons.BeliefBase, java.util.Collection<E>)
- net.sf.tweety.action.query.syntax.ActionQuerySet<T>
- net.sf.tweety.action.query.syntax.SActionQuerySet
 
 
 - net.sf.tweety.action.query.syntax.ActionQuerySet<T>
 - net.sf.tweety.logics.pl.syntax.PlFormula (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.QueryProposition
- net.sf.tweety.action.query.syntax.AlwaysQuery
 - net.sf.tweety.action.query.syntax.HoldsQuery
 - net.sf.tweety.action.query.syntax.NecessarilyQuery
 
 
 - net.sf.tweety.action.query.syntax.QueryProposition
 
 - 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.query.syntax.ActionQuery)
 
 - net.sf.tweety.commons.BeliefSet<T,S> (implements net.sf.tweety.commons.BeliefBase, java.util.Collection<E>)
 
Interface Hierarchy
- net.sf.tweety.commons.Formula
- net.sf.tweety.action.query.syntax.ActionQuery