Implements the vertex data for mu-calculus model checking. More...
#include <mu_calculus.h>
Public Attributes | |
MS_state * | state |
State variable for mu-calculus model checking library. |
Implements the vertex data for mu-calculus model checking.
The data stored in each vertex of the graph required for the mu-calculus model checking operation.
State variable for mu-calculus model checking library.
This variable is a data type used by the external mu-calculus model checking library. The class holds the set of all sub-formula of the specification that the associated vertex satisfies. It is incrementally updated by the procedure.