In file hl.h:

HL_BOOLEAN* HL_FORMULA_getWorldEvals

(HL_FORMULA_t* exp)

Return the evaluation of the formula in worlds of the KS.

Documentation

Return the evaluation of the formula in worlds of the KS.

@pre the model checking procedure should be completed before

Parameters:
- exp the formula
Returns:
a vector of worldNum items containing the evalutation of the formula in the corresponding KS's world

Alphabetic index



This page was generated with the help of DOC++.