mcrl2/process/parse_impl.h

Include file:

#include "mcrl2/process/parse_impl.h"

add your file description here.

Classes

  • mcrl2::process::detail::action_actions

  • mcrl2::process::detail::process_actions

  • mcrl2::process::untyped_process_specification