Uses of Class
fmrisc.ProofNavigator.Syntax.ASTVisitorBase

Packages that use ASTVisitorBase

Package	Description
fmrisc.ProofNavigator.Proving
fmrisc.ProofNavigator.Semantics

Uses of ASTVisitorBase in fmrisc.ProofNavigator.Proving

Subclasses of ASTVisitorBase in fmrisc.ProofNavigator.Proving

Modifier and Type	Class and Description
class	GroundExpressions Compute ground (sub)expressions.
class	Rewriting A visitor for rewriting expressions to a more human-friendly form.
class	Substitute Substitute in an expression all free occurences of denoted variables.

Uses of ASTVisitorBase in fmrisc.ProofNavigator.Semantics

Subclasses of ASTVisitorBase in fmrisc.ProofNavigator.Semantics

Modifier and Type	Class and Description
class	BoundVariables Compute the variables bound within an expression.
class	FreeVariables Compute the free variables of an expression.