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

Packages that use LetTerm

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

Uses of LetTerm in fmrisc.ProgramExplorer.Judgements

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

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

Uses of LetTerm in fmrisc.ProgramExplorer.Syntax

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

Modifier and Type	Method and Description
void	ASTVisitor.visit(LetTerm tree)
void	ASTCloner.visit(LetTerm tree)
void	ASTVisitorBase.visit(LetTerm tree)

Uses of LetTerm in fmrisc.ProgramExplorer.Syntax.Logic

Methods in fmrisc.ProgramExplorer.Syntax.Logic that return LetTerm

Modifier and Type	Method and Description
static LetTerm	LetTerm.construct(ValueDefinition[] d, Term b) Construct term with local value definitions.