Uses of Interface
fmrisc.ProofNavigator.Syntax.ASTVisitor

Packages that use ASTVisitor

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

Uses of ASTVisitor in fmrisc.ProofNavigator.Proving

Classes in fmrisc.ProofNavigator.Proving that implement ASTVisitor

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 ASTVisitor in fmrisc.ProofNavigator.Semantics

Classes in fmrisc.ProofNavigator.Semantics that implement ASTVisitor

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

Uses of ASTVisitor in fmrisc.ProofNavigator.Syntax

Classes in fmrisc.ProofNavigator.Syntax that implement ASTVisitor

Modifier and Type	Class and Description
class	ASTVisitorBase Base class of visitors of abstract syntax trees.

Methods in fmrisc.ProofNavigator.Syntax with parameters of type ASTVisitor

Modifier and Type	Method and Description
AST	RecordTerm.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	SubType.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	AxiomDeclaration.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	LetExpression.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	SelectorIdentifier.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	QuantifiedExpression.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	IfThenElseExpression.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	LetType.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	UpdateTerm.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	TypeDeclIdentifier.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	FormulaDeclIdentifier.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	AtomicType.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	ValueDeclaration.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	TimesTerm.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	FunctionType.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	TupleType.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	RecordType.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	UnaryExpression.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	ApplicationExpression.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	SelectorIndex.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	AST.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	BinaryExpression.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	SelectionTerm.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	Logical.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	Number.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	ValuedIdentifier.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	TypedIdentifier.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	TupleTerm.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	PowerTerm.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	SelectorNumber.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	FormulaDeclaration.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	ArrayType.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	Reference.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	ArrayTerm.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	TypeDeclaration.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	SubrangeType.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	BitLogical.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	ValueDeclIdentifier.accept(ASTVisitor visitor) Accept visitor for a visit.