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

Packages that use UpdateTerm

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

Uses of UpdateTerm in fmrisc.ProgramExplorer.InOut

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

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

Uses of UpdateTerm in fmrisc.ProgramExplorer.Syntax

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

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

Uses of UpdateTerm in fmrisc.ProgramExplorer.Syntax.Logic

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

Modifier and Type	Method and Description
static UpdateTerm	UpdateTerm.construct(Term base, Selector[] selectors, Term value) Construct selection term.