Uses of Class
fmrisc.Syntax.EquivalentFormula

Packages that use EquivalentFormula
fmrisc.Syntax   
 

Uses of EquivalentFormula in fmrisc.Syntax
 

Methods in fmrisc.Syntax that return EquivalentFormula
static EquivalentFormula Construct.equivalentFormula(Expression base1, Expression base2)
          construct equivalence with components base1 and base2