org.openqed.struct.formula
Interfaces 
FunctorApplication
UnaryFormula
Classes 
AtomicFormula
BinaryFormula
CnfFormula
FofFormula
Formula
FormulaNode
FormulaNodeVisitor
FormulaNodeVisitorArg
FormulaNodeVisitorRet
FormulaNodeVisitorRetArg
FunctionTerm
Literal
NegationFormula
NullaryFormula
ObjectTerm
PredicateFormula
QuantifierFormula
RootFormula
Term
VariableTerm
Enums 
FormulaNode.FormulaNodeType