Uses of Class
fmrisc.AST.OrFormula

Packages that use OrFormula
fmrisc.AST   
 

Uses of OrFormula in fmrisc.AST
 

Methods in fmrisc.AST that return OrFormula
static OrFormula Construct.orFormula(Expression base1, Expression base2)
          construct disjunction with components base1 and base2