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

Packages that use RecordTerm

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

Uses of RecordTerm in fmrisc.ProgramExplorer.InOut

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

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

Uses of RecordTerm in fmrisc.ProgramExplorer.Syntax

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

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

Uses of RecordTerm in fmrisc.ProgramExplorer.Syntax.Logic

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

Modifier and Type	Method and Description
static RecordTerm	RecordTerm.construct(ValuedIdentifier[] base) Construct record term.