|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |