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

Packages that use TermApplication

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

Uses of TermApplication in fmrisc.ProgramExplorer.Syntax

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

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

Uses of TermApplication in fmrisc.ProgramExplorer.Syntax.Logic

Subclasses of TermApplication in fmrisc.ProgramExplorer.Syntax.Logic

Modifier and Type	Class and Description
class	AtomicFormula An atomic formula.
class	FunctionApplication A function application.