|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use NotFormula | |
|---|---|
| fmrisc.Syntax | |
| Uses of NotFormula in fmrisc.Syntax |
|---|
| Methods in fmrisc.Syntax that return NotFormula | |
|---|---|
static NotFormula |
Construct.notFormula(Expression base)
construct negation (not formula) of base formula |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||