Uses of Package
formulaVisited

Packages that use formulaVisited

formulaVisited

Propositional and first-order logic with visitors, singletons, and other patterns used.

Classes in formulaVisited used by formulaVisited

Conjunction
The conjunction ("and") of two subformulas.

Disjunction
The disjunction ("and") of two subformulas.

Environment
An environment in which to evaluate a formula.

Formula
The type of all logic formulas that accept visitors.

LogicalConstant
A logical constant, representing true or false.

LogicalVariable
A logical variable, representing true or false (but we may not know which).

Named
The superclass of all named objects in the package.

Negation
The negation of a formula.

Visitor
A visitor to formulas.