Uses of Class
fmrisc.AST.NotEqualsFormula

Packages that use NotEqualsFormula
fmrisc.AST   
 

Uses of NotEqualsFormula in fmrisc.AST
 

Methods in fmrisc.AST that return NotEqualsFormula
static NotEqualsFormula Construct.notEqualsFormula(Expression base1, Expression base2)
          construct inequality/exclusive disjunction with components base1 and base2