mcrl2/pbes/pbes_explorer.h

Include file:

#include "mcrl2/pbes/pbes_explorer.h"

Classes

• mcrl2::pbes_system::explorer
• mcrl2::pbes_system::lts_info
• mcrl2::pbes_system::lts_type
• mcrl2::pbes_system::ltsmin_state