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