Uses of Interface
fmrisc.Syntax.ASTVisitor

Packages that use ASTVisitor
fmrisc.Proving   
fmrisc.Semantics   
fmrisc.Syntax   
 

Uses of ASTVisitor in fmrisc.Proving
 

Classes in fmrisc.Proving that implement ASTVisitor
 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.Semantics
 

Classes in fmrisc.Semantics that implement ASTVisitor
 class BoundVariables
          Compute the variables bound within an expression.
 class FreeVariables
          Compute the free variables of an expression.
 

Uses of ASTVisitor in fmrisc.Syntax
 

Classes in fmrisc.Syntax that implement ASTVisitor
 class ASTVisitorBase
          Base class of visitors of abstract syntax trees.
 

Methods in fmrisc.Syntax with parameters of type ASTVisitor
 AST SubType.accept(ASTVisitor visitor)
          Accept visitor for a visit.
 AST ValueDeclaration.accept(ASTVisitor visitor)
          Accept visitor for a visit.
 AST ValuedIdentifier.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 Logical.accept(ASTVisitor visitor)
          Accept visitor for a visit.
 AST TypedIdentifier.accept(ASTVisitor visitor)
          Accept visitor for a visit.
 AST SelectorIdentifier.accept(ASTVisitor visitor)
          Accept visitor for a visit.
 AST UpdateTerm.accept(ASTVisitor visitor)
          Accept visitor for a visit.
 AST RecordType.accept(ASTVisitor visitor)
          Accept visitor for a visit.
 AST SubrangeType.accept(ASTVisitor visitor)
          Accept visitor for a visit.
 AST Reference.accept(ASTVisitor visitor)
          Accept visitor for a visit.
 AST FormulaDeclIdentifier.accept(ASTVisitor visitor)
          Accept visitor for a visit.
 AST TypeDeclaration.accept(ASTVisitor visitor)
          Accept visitor for a visit.
 AST TupleType.accept(ASTVisitor visitor)
          Accept visitor for a visit.
 AST ArrayType.accept(ASTVisitor visitor)
          Accept visitor for a visit.
 AST AtomicType.accept(ASTVisitor visitor)
          Accept visitor for a visit.
 AST RecordTerm.accept(ASTVisitor visitor)
          Accept visitor for a visit.
 AST TupleTerm.accept(ASTVisitor visitor)
          Accept visitor for a visit.
 AST FormulaDeclaration.accept(ASTVisitor visitor)
          Accept visitor for a visit.
 AST LetType.accept(ASTVisitor visitor)
          Accept visitor for a visit.
 AST BinaryExpression.accept(ASTVisitor visitor)
          Accept visitor for a visit.
 AST QuantifiedExpression.accept(ASTVisitor visitor)
          Accept visitor for a visit.
 AST Number.accept(ASTVisitor visitor)
          Accept visitor for a visit.
 AST ApplicationExpression.accept(ASTVisitor visitor)
          Accept visitor for a visit.
 AST FunctionType.accept(ASTVisitor visitor)
          Accept visitor for a visit.
 AST ValueDeclIdentifier.accept(ASTVisitor visitor)
          Accept visitor for a visit.
 AST SelectorNumber.accept(ASTVisitor visitor)
          Accept visitor for a visit.
 AST LetExpression.accept(ASTVisitor visitor)
          Accept visitor for a visit.
 AST IfThenElseExpression.accept(ASTVisitor visitor)
          Accept visitor for a visit.
 AST UnaryExpression.accept(ASTVisitor visitor)
          Accept visitor for a visit.
 AST AxiomDeclaration.accept(ASTVisitor visitor)
          Accept visitor for a visit.
 AST SelectionTerm.accept(ASTVisitor visitor)
          Accept visitor for a visit.
 AST TypeDeclIdentifier.accept(ASTVisitor visitor)
          Accept visitor for a visit.