Package org.openqed.struct.formula

Core structure classes for representing first order formulae (both CNF and FOF).

See:
Description

Interface Summary

FunctorApplication
UnaryFormula

Class Summary

AtomicFormula
BinaryFormula
CnfFormula
FofFormula
Formula
FormulaNode
FormulaNodeVisitor
FormulaNodeVisitorArg<A>
FormulaNodeVisitorRet<R>
FormulaNodeVisitorRetArg<R,A>
FunctionTerm
Literal
NegationFormula
NullaryFormula
ObjectTerm
PredicateFormula
QuantifierFormula
RootFormula
Term
VariableTerm

Enum Summary

FormulaNode.FormulaNodeType

Package org.openqed.struct.formula Description

Core structure classes for representing first order formulae (both CNF and FOF).

See Also:

Formula Overview section of the main overview