Include file:
#include "mcrl2/pbes/parse_impl.h"
add your file description here.
mcrl2::pbes_system::detail::pbes_actions
mcrl2/pbes/parse.h
mcrl2/pbes/partial_order_reduction.h
