Uses of Class
fmrisc.AST.ExistsFormula

Packages that use ExistsFormula
fmrisc.AST   
 

Uses of ExistsFormula in fmrisc.AST
 

Methods in fmrisc.AST that return ExistsFormula
static ExistsFormula Construct.existsFormula(TypedIdentifier[] variables, Expression base)
          construct existentially quantifed formula of variables and base formula