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