In file hl.h:

HL_FORMULA_t* HL_FORMULA_newExists

(HL_FORMULA_t* exp)

Create an existentially quantificated formula E alpha.

Documentation

Create an existentially quantificated formula E alpha.

Parameters:
- exp the formula corresponding to alpha
Returns:
the new HL formula

Alphabetic index



This page was generated with the help of DOC++.