In file hl.h:(HL_FORMULA_t* exp)
Create a negated formula not(alpha)
.
Documentation
Create a negated formula not(alpha)
.
- Parameters:
- - exp the formula corresponding to
alpha
- Returns:
- the new HL formula
Alphabetic index
This page was generated with the help of DOC++.