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

Packages that use GreaterEqualFormula

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

Uses of GreaterEqualFormula in fmrisc.ProgramExplorer.InOut

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

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

Uses of GreaterEqualFormula in fmrisc.ProgramExplorer.Judgements

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

Modifier and Type	Method and Description
void	Simplification.visit(GreaterEqualFormula formula) Process binary atomic formula.

Uses of GreaterEqualFormula in fmrisc.ProgramExplorer.Syntax

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

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

Uses of GreaterEqualFormula in fmrisc.ProgramExplorer.Syntax.Logic

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

Modifier and Type	Method and Description
static GreaterEqualFormula	GreaterEqualFormula.construct(Term first, Term second) Construct an is-greater-than-or-equal formula.