Uses of Class
formulaVisited.Environment

Packages that use Environment

formulaVisited

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

Uses of Environment in formulaVisited

Constructors in formulaVisited with parameters of type Environment

VisitorEvaluate(Environment _env)
Construct a VisitorEvaluate that evaluates formulas in the given environment.