Hierarchy For Package org.openqed.struct.formula

Package Hierarchies:

All Packages

Class Hierarchy

• java.lang.Object
  • 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>

Interface Hierarchy

• org.openqed.struct.formula.FunctorApplication
• 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.formula.FormulaNode.FormulaNodeType