Uses of Class
fmrisc.Syntax.GreaterFormula

Packages that use GreaterFormula
fmrisc.Syntax   
 

Uses of GreaterFormula in fmrisc.Syntax
 

Methods in fmrisc.Syntax that return GreaterFormula
static GreaterFormula Construct.greaterFormula(Expression base1, Expression base2)
          construct greater-than formula with components base1 and base2