In file hl-model.c:(HL_MODEL_t* model,
HL_FORMULA_t* formula)
Print the result of model checking procedure showing in which worlds of the model the formula is valid.
Documentation
Print the result of model checking procedure showing in which worlds of the model the formula is valid.
- Parameters:
- - model the model to which the formula belongs
formula - the formula processed using the model checker
Alphabetic index
This page was generated with the help of DOC++.