Uses of Class
fmrisc.AST.EqualsFormula

Packages that use EqualsFormula
fmrisc.AST   
 

Uses of EqualsFormula in fmrisc.AST
 

Methods in fmrisc.AST that return EqualsFormula
static EqualsFormula Construct.equalsFormula(Expression base1, Expression base2)
          construct equality/equivalence with components base1 and base2