Uses of Class
fmrisc.Syntax.ASTVisitorBase

Packages that use ASTVisitorBase

fmrisc.Proving
fmrisc.Semantics

Uses of ASTVisitorBase in fmrisc.Proving

Subclasses of ASTVisitorBase in fmrisc.Proving

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.Semantics

Subclasses of ASTVisitorBase in fmrisc.Semantics

class	BoundVariables Compute the variables bound within an expression.
class	FreeVariables Compute the free variables of an expression.