Uses of Class
fmrisc.AST.NotFormula

Packages that use NotFormula
fmrisc.AST   
 

Uses of NotFormula in fmrisc.AST
 

Methods in fmrisc.AST that return NotFormula
static NotFormula Construct.notFormula(Expression base)
          construct negation (not formula) of base formula