Uses of Class
fmrisc.ProgramExplorer.Syntax.Logic.LetExpression

Packages that use LetExpression

Package	Description
fmrisc.ProgramExplorer.InOut
fmrisc.ProgramExplorer.Judgements
fmrisc.ProgramExplorer.Semantics
fmrisc.ProgramExplorer.Syntax
fmrisc.ProgramExplorer.Syntax.Logic

Uses of LetExpression in fmrisc.ProgramExplorer.InOut

Methods in fmrisc.ProgramExplorer.InOut with parameters of type LetExpression

Modifier and Type	Method and Description
void	Breaks.visit(LetExpression exp)
void	PrettyPrinter.visit(LetExpression exp)
void	PrettyMathML.visit(LetExpression exp)

Uses of LetExpression in fmrisc.ProgramExplorer.Judgements

Methods in fmrisc.ProgramExplorer.Judgements with parameters of type LetExpression

Modifier and Type	Method and Description
void	Simplification.visit(LetExpression exp) Process quantified expression
void	RefSubstitution.visit(LetExpression exp) Process expression

Uses of LetExpression in fmrisc.ProgramExplorer.Semantics

Methods in fmrisc.ProgramExplorer.Semantics with parameters of type LetExpression

Modifier and Type	Method and Description
void	UsedVariables.visit(LetExpression exp) Process quantified expression
void	FreeVariables.visit(LetExpression exp) Process quantified expression

Uses of LetExpression in fmrisc.ProgramExplorer.Syntax

Methods in fmrisc.ProgramExplorer.Syntax with parameters of type LetExpression

Modifier and Type	Method and Description
void	ASTVisitor.visit(LetExpression tree)
void	ASTPrinter.visit(LetExpression exp)
void	ASTVisitorBase.visit(LetExpression tree)

Uses of LetExpression in fmrisc.ProgramExplorer.Syntax.Logic

Subclasses of LetExpression in fmrisc.ProgramExplorer.Syntax.Logic

Modifier and Type	Class and Description
class	LetFormula A formula with local value definitions.
class	LetTerm A term with local value definitions.