mcrl2/lts/simulation.h

Include file:

#include "mcrl2/lts/simulation.h"

Classes

• mcrl2::lps::simulation
• mcrl2::lps::simulation::state_t
• mcrl2::lps::simulation::transition_t