Uses of Class
fmrisc.AST.AndFormula

Packages that use AndFormula
fmrisc.AST   
 

Uses of AndFormula in fmrisc.AST
 

Methods in fmrisc.AST that return AndFormula
static AndFormula Construct.andFormula(Expression base1, Expression base2)
          construct conjunction with components base1 and base2