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

Packages that use SelectionTerm

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

Uses of SelectionTerm in fmrisc.ProgramExplorer.InOut

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

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

Uses of SelectionTerm in fmrisc.ProgramExplorer.Syntax

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

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

Uses of SelectionTerm in fmrisc.ProgramExplorer.Syntax.Logic

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

Modifier and Type	Method and Description
static SelectionTerm	SelectionTerm.construct(Term base, Selector selector) Construct selection term.