In file hl.h:

HL_FORMULA_t* HL_FORMULA_newNeg

(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++.