Hierarchy For All Packages

Package Hierarchies:

org.openqed.parser.tptp, org.openqed.struct.formula, org.openqed.struct.misc, org.openqed.struct.namedid, org.openqed.struct.sentence, org.openqed.tool.clausifier, org.openqed.tool.prover, org.openqed.tool.recognizer, org.openqed.tool.summarizer, org.openqed.tool.treeprinter, org.openqed.util, org.openqed.util.prefs, org.openqed.util.tuple

Class Hierarchy

• java.lang.Object
  • java.util.AbstractCollection<E> (implements java.util.Collection<E>)
    • java.util.AbstractList<E> (implements java.util.List<E>)
      • org.openqed.util.ImmutableList<E> (implements java.util.RandomAccess)
      • org.openqed.util.ImmutableListBuilder<E> (implements java.util.RandomAccess)
  • org.openqed.util.prefs.BasePrefs
  • org.antlr.runtime.tree.BaseTree (implements org.antlr.runtime.tree.Tree)
    • org.antlr.runtime.tree.CommonTree
      • org.openqed.parser.tptp.TptpParserCommonTree
  • org.antlr.runtime.tree.BaseTreeAdaptor (implements org.antlr.runtime.tree.TreeAdaptor)
    • org.antlr.runtime.tree.CommonTreeAdaptor
      • org.openqed.parser.tptp.TptpParserCommonTreeAdaptor
  • org.openqed.tool.clausifier.Clausifier
  • org.openqed.struct.formula.FormulaNode (implements java.lang.Iterable<T>)
    • org.openqed.struct.formula.Formula
      • org.openqed.struct.formula.Literal (implements org.openqed.struct.formula.UnaryFormula)
      • org.openqed.struct.formula.RootFormula
        • org.openqed.struct.formula.CnfFormula
        • org.openqed.struct.formula.FofFormula
          • org.openqed.struct.formula.AtomicFormula
            • org.openqed.struct.formula.NullaryFormula
            • org.openqed.struct.formula.PredicateFormula (implements org.openqed.struct.formula.FunctorApplication)
          • org.openqed.struct.formula.BinaryFormula
          • org.openqed.struct.formula.NegationFormula (implements org.openqed.struct.formula.UnaryFormula)
          • org.openqed.struct.formula.QuantifierFormula
    • org.openqed.struct.formula.Term
      • org.openqed.struct.formula.FunctionTerm (implements org.openqed.struct.formula.FunctorApplication)
      • org.openqed.struct.formula.ObjectTerm
      • org.openqed.struct.formula.VariableTerm
  • org.openqed.struct.formula.FormulaNodeVisitor
  • org.openqed.struct.formula.FormulaNodeVisitorArg<A>
  • org.openqed.struct.formula.FormulaNodeVisitorRet<R>
  • org.openqed.struct.formula.FormulaNodeVisitorRetArg<R,A>
  • org.openqed.struct.misc.FormulaSummary
  • org.openqed.util.MemberwiseEqualsHashCodeHelper
  • org.openqed.util.MemberwiseEqualsHashCodeObject (implements org.openqed.util.MemberwiseEqualsHashCode)
    • org.openqed.struct.sentence.Sentence
    • org.openqed.struct.sentence.SentenceList
    • org.openqed.struct.sentence.SentenceSource
      • org.openqed.struct.sentence.SentenceFileSource
      • org.openqed.struct.sentence.SentenceInferenceSource
      • org.openqed.struct.sentence.SentenceTheorySource
    • org.openqed.parser.tptp.TptpStatement
      • org.openqed.parser.tptp.TptpIncludeStatement
      • org.openqed.parser.tptp.TptpSentenceStatement
  • org.openqed.struct.namedid.NamedId
    • org.openqed.struct.namedid.DynamicId
      • org.openqed.struct.namedid.FunctorId
        • org.openqed.struct.namedid.FunctionId
        • org.openqed.struct.namedid.PredicateId
      • org.openqed.struct.namedid.ObjectId
      • org.openqed.struct.namedid.SentenceId
      • org.openqed.struct.namedid.VariableId
    • org.openqed.struct.namedid.EnumId
      • org.openqed.struct.namedid.InvertibleEnumId
        • org.openqed.struct.namedid.LogicalOperator
          • org.openqed.struct.namedid.BinaryOperator
          • org.openqed.struct.namedid.NullaryOperator
          • org.openqed.struct.namedid.UnaryOperator
        • org.openqed.struct.namedid.QuantifierOperator
        • org.openqed.struct.namedid.TruthValue
      • org.openqed.struct.namedid.SentenceRole
  • org.openqed.util.prefs.Pref<TYPE>
  • org.openqed.util.prefs.PrefType<TYPE>
    • org.openqed.util.prefs.AtomicPrefType<TYPE>
      • org.openqed.util.prefs.PrimitivePrefType<TYPE>
    • org.openqed.util.prefs.CompoundPrefType<TYPE>
      • org.openqed.util.prefs.ListPrefType<TYPE>
      • org.openqed.util.prefs.MapPrefType<TYPE>
  • org.openqed.tool.prover.Prover
  • org.openqed.tool.recognizer.Recognizer
  • org.openqed.tool.summarizer.Summarizer
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • java.lang.RuntimeException
        • org.openqed.util.CheckedExceptionWrapper
        • org.openqed.util.NotImplementedException
        • org.openqed.util.prefs.PrefsException
  • org.openqed.parser.tptp.TptpHeader
  • org.openqed.parser.tptp.TptpHeader.TptpRating
  • org.openqed.parser.tptp.TptpHeader.TptpVersion (implements java.lang.Comparable<T>)
  • org.openqed.parser.tptp.TptpParser
  • org.openqed.tool.treeprinter.TreePrinter
  • org.openqed.util.tuple.Tuple (implements java.lang.Iterable<T>)
    • org.openqed.util.tuple.Tuple1<T0>
    • org.openqed.util.tuple.Tuple2<T0,T1>
    • org.openqed.util.tuple.Tuple3<T0,T1,T2>
    • org.openqed.util.tuple.Tuple4<T0,T1,T2,T3>
    • org.openqed.util.tuple.Tuple5<T0,T1,T2,T3,T4>
    • org.openqed.util.tuple.Tuple6<T0,T1,T2,T3,T4,T5>
    • org.openqed.util.tuple.Tuple7<T0,T1,T2,T3,T4,T5,T6>
    • org.openqed.util.tuple.Tuple8<T0,T1,T2,T3,T4,T5,T6,T7>
    • org.openqed.util.tuple.Tuple9<T0,T1,T2,T3,T4,T5,T6,T7,T8>

Interface Hierarchy

• org.openqed.struct.formula.FunctorApplication
• org.openqed.util.MemberwiseEqualsHashCode
• org.openqed.util.MemberwiseEqualsHashCode.MemberVisitor
• org.openqed.util.prefs.PrefCheck<TYPE>
• org.openqed.util.prefs.PrefListener<TYPE>
• org.openqed.struct.formula.UnaryFormula

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • org.openqed.struct.namedid.NullaryOperator.EnumValue
    • org.openqed.struct.namedid.SentenceRole.EnumValue
    • org.openqed.struct.namedid.QuantifierOperator.EnumValue
    • org.openqed.struct.namedid.UnaryOperator.EnumValue
    • org.openqed.struct.namedid.TruthValue.EnumValue
    • org.openqed.struct.namedid.BinaryOperator.EnumValue
    • org.openqed.struct.formula.FormulaNode.FormulaNodeType
    • org.openqed.struct.misc.FormulaSummary.FieldId