In file hl-model.c:

void HL_MODEL_printFormulaValidity

(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++.