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

Packages that use QuantifiedTerm

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

Uses of QuantifiedTerm in fmrisc.ProgramExplorer.Syntax

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

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

Uses of QuantifiedTerm in fmrisc.ProgramExplorer.Syntax.Logic

Subclasses of QuantifiedTerm in fmrisc.ProgramExplorer.Syntax.Logic

Modifier and Type	Class and Description
class	ArrayTerm An array term.
class	LambdaFormula A function expression with a formula body.
class	LambdaTerm A function expression.