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