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

Packages that use AndFormula

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

Uses of AndFormula in fmrisc.ProgramExplorer.InOut

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

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

Uses of AndFormula in fmrisc.ProgramExplorer.Judgements

Methods in fmrisc.ProgramExplorer.Judgements with parameters of type AndFormula

Modifier and Type	Method and Description
void	Simplification2.visit(AndFormula formula) Simplify formula.
void	Simplification.visit(AndFormula formula) Process conjunction.

Uses of AndFormula in fmrisc.ProgramExplorer.Syntax

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

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

Uses of AndFormula in fmrisc.ProgramExplorer.Syntax.Logic

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

Modifier and Type	Method and Description
static AndFormula	AndFormula.construct(Formula first, Formula second) Construct a conjunction.