formulaVisited (formula package)

Interfaces
Formula
Visitor

Classes
Conjunction
Disjunction
Environment
Factory
LogicalConstant
LogicalVariable
Named
Negation
VisitorEvaluate
VisitorToString