Uses of Class
fmrisc.AST.ForallFormula

Packages that use ForallFormula
fmrisc.AST   
 

Uses of ForallFormula in fmrisc.AST
 

Methods in fmrisc.AST that return ForallFormula
static ForallFormula Construct.forallFormula(TypedIdentifier[] variables, Expression base)
          construct universally quantifed formula of variables and base formula