Uses of Class
fmrisc.AST.LessFormula

Packages that use LessFormula
fmrisc.AST   
 

Uses of LessFormula in fmrisc.AST
 

Methods in fmrisc.AST that return LessFormula
static LessFormula Construct.lessFormula(Expression base1, Expression base2)
          construct less-than formula with components base1 and base2