mcrl2/pbes/pbes_explorer.h

Include file:

#include "mcrl2/pbes/pbes_explorer.h"

Functions

MapContainer::mapped_type map_at(const MapContainer &m, typename MapContainer::key_type key)