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