Uses of Class
fmrisc.Syntax.LessEqualFormula

Packages that use LessEqualFormula
fmrisc.Syntax   
 

Uses of LessEqualFormula in fmrisc.Syntax
 

Methods in fmrisc.Syntax that return LessEqualFormula
static LessEqualFormula Construct.lessEqualFormula(Expression base1, Expression base2)
          construct less-than-or-equal formula with components base1 and base2