Class Hierarchy
- java.lang.Object
- net.sf.tweety.commons.AbstractInterpretation<B,S> (implements net.sf.tweety.commons.Interpretation<B,S>)
- net.sf.tweety.commons.InterpretationSet<T,B,S> (implements java.util.Collection<E>)
- net.sf.tweety.logics.ml.semantics.MlHerbrandInterpretation
- net.sf.tweety.logics.ml.semantics.KripkeModel
- net.sf.tweety.commons.InterpretationSet<T,B,S> (implements java.util.Collection<E>)
- net.sf.tweety.logics.ml.semantics.AccessibilityRelation
- net.sf.tweety.logics.ml.semantics.MlHerbrandBase
- net.sf.tweety.commons.AbstractInterpretation<B,S> (implements net.sf.tweety.commons.Interpretation<B,S>)