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

Packages that use QuantifiedFormula

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

Uses of QuantifiedFormula in fmrisc.ProgramExplorer.Syntax

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

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

Uses of QuantifiedFormula in fmrisc.ProgramExplorer.Syntax.Logic

Subclasses of QuantifiedFormula in fmrisc.ProgramExplorer.Syntax.Logic

Modifier and Type	Class and Description
class	ExistsFormula An existentially quantified formula.
class	ForallFormula A universally quantified formula.