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

Packages that use FunctionApplication

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

Uses of FunctionApplication in fmrisc.ProgramExplorer.Syntax

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

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

Uses of FunctionApplication in fmrisc.ProgramExplorer.Syntax.Logic

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

Modifier and Type	Method and Description
static FunctionApplication	FunctionApplication.construct(Term fun, Term[] args) Construct application expression.