In file hl.h:

HL_FORMULA_t* HL_FORMULA_newPropSym

(KRIPKE_STRUCT_t* model,
  unsigned int propSymId)

Create a new formula corresponding to a propositional symbol evaluation.

Documentation

Create a new formula corresponding to a propositional symbol evaluation.

Parameters:
- model the KS of the formula
propSymId - the identifier of the propositional symbol
Returns:
the new HL formula, NULL if the given propositional symbol is undefined

Alphabetic index



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