In file hl.h:(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++.