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

Packages that use LambdaTerm

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

Uses of LambdaTerm in fmrisc.ProgramExplorer.InOut

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

Modifier and Type	Method and Description
void	PrettyMathML.visit(LambdaTerm exp)

Uses of LambdaTerm in fmrisc.ProgramExplorer.Judgements

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

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

Uses of LambdaTerm in fmrisc.ProgramExplorer.Syntax

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

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

Uses of LambdaTerm in fmrisc.ProgramExplorer.Syntax.Logic

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

Modifier and Type	Method and Description
static LambdaTerm	LambdaTerm.construct(TypedIdentifier[] vars, Term body) Construct a function expression.