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

Packages that use FormulaBase

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

Uses of FormulaBase in fmrisc.ProgramExplorer.Syntax

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

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

Uses of FormulaBase in fmrisc.ProgramExplorer.Syntax.Logic

Subclasses of FormulaBase in fmrisc.ProgramExplorer.Syntax.Logic

Modifier and Type	Class and Description
class	ReadsOnlyFormula A formula that states that no program variable may change.
class	WritesOnlyFormula A formula that states that only certain program variables may change.