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

Packages that use AtomicFormula

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

Uses of AtomicFormula in fmrisc.ProgramExplorer.Syntax

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

Modifier and Type	Method and Description
void	ASTVisitor.visit(AtomicFormula tree)
void	ASTPrinter.visit(AtomicFormula exp)
void	ASTCloner.visit(AtomicFormula tree)
void	ASTVisitorBase.visit(AtomicFormula tree)

Uses of AtomicFormula in fmrisc.ProgramExplorer.Syntax.Logic

Methods in fmrisc.ProgramExplorer.Syntax.Logic that return AtomicFormula

Modifier and Type	Method and Description
static AtomicFormula	AtomicFormula.construct(Term fun, Term[] args) Construct application expression.