In file hl-model.c:

void HL_MODEL_printFormula

(HL_MODEL_t* model,
  HL_FORMULA_t* formula,
  SYMBOL_TABLE_t* wvarTable)

Pretty print a formula on stdout.

Documentation

Pretty print a formula on stdout.

Parameters:
- model the model to which the formula belongs
formula - the formula to print @wvarTable the symbol table of world variable in the formula

Alphabetic index



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