Uses of Class
fmrisc.ProofNavigator.Syntax.GreaterEqualFormula

Packages that use GreaterEqualFormula

Package	Description
fmrisc.ProofNavigator.Syntax

Uses of GreaterEqualFormula in fmrisc.ProofNavigator.Syntax

Methods in fmrisc.ProofNavigator.Syntax that return GreaterEqualFormula

Modifier and Type	Method and Description
static GreaterEqualFormula	Construct.greaterEqualFormula(Expression base1, Expression base2) construct greater-than-or-equal formula with components base1 and base2