In file hl.h:(KRIPKE_STRUCT_t* model,
unsigned int nominalId)
Create a new formula corresponding to a nominal evaluation.
Documentation
Create a new formula corresponding to a nominal evaluation.
- Parameters:
- - model the KS of the formula
- nominalId the identifier of the nominal
- Returns:
- the new HL formula,
NULL
if the given nominal is undefined
Alphabetic index
This page was generated with the help of DOC++.