Class Hierarchy
- java.lang.Object
- net.sf.tweety.commons.BeliefSet<T> (implements net.sf.tweety.commons.BeliefBase, java.util.Collection<E>)
- 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.query.syntax.ActionQuery)
Interface Hierarchy
- net.sf.tweety.commons.Formula
Copyright © 2019. All rights reserved.