smp::model_checker_mu_calculus_edge_data Class Reference

Implements the edge data for mu-calculus model checking. More...

#include <mu_calculus.h>

---

Detailed Description

Implements the edge data for mu-calculus model checking.

This empty class is implemented for the sake of completeness.

Examples:

libbot_rrg_single_integrator_mu_calculus.cpp, and standalone_rrg_single_integrator_mu_calculus.cpp.

---

The documentation for this class was generated from the following file:

• src/smp/components/model_checkers/mu_calculus.h