Uses of Class
fmrisc.Syntax.EqualsFormula

Packages that use EqualsFormula
fmrisc.Syntax   
 

Uses of EqualsFormula in fmrisc.Syntax
 

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