Uses of Class
fmrisc.AST.ImpliesFormula

Packages that use ImpliesFormula
fmrisc.AST   
 

Uses of ImpliesFormula in fmrisc.AST
 

Methods in fmrisc.AST that return ImpliesFormula
static ImpliesFormula Construct.impliesFormula(Expression base1, Expression base2)
          construct implication with components base1 and base2