In file hl.h:

HL_FORMULA_t* HL_FORMULA_newTrueConst

(KRIPKE_STRUCT_t* model)

Create a new formula corresponding to the boolean constant T.

Documentation

Create a new formula corresponding to the boolean constant T.

Parameters:
- model the KS of the formula
Returns:
the new HL formula

Alphabetic index



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