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

Packages that use ApplicationExpression

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

Uses of ApplicationExpression in fmrisc.ProgramExplorer.InOut

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

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

Uses of ApplicationExpression in fmrisc.ProgramExplorer.Syntax

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

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

Uses of ApplicationExpression in fmrisc.ProgramExplorer.Syntax.Logic

Subclasses of ApplicationExpression in fmrisc.ProgramExplorer.Syntax.Logic

Modifier and Type	Class and Description
class	AtomicFormula An atomic formula.
class	FunctionApplication A function application.
class	TermApplication An application of one term to some other term(s).