In file hl.h:

HL_FORMULA_t* HL_FORMULA_newAtWVar

(unsigned int wvarId,
  HL_FORMULA_t* exp)

Create an formula @x alpha.

Documentation

Create an formula @x alpha.

Parameters:
- wvarId the identifier of the variable x
- exp the formula corresponding to alpha
Returns:
the new HL formula

Alphabetic index



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