mcrl2/process/index_traits.h
Include file:
#include "mcrl2/process/index_traits.h"
add your file description here.
Functions
-
void
mcrl2::process::
on_delete_process_identifier
(const atermpp::aterm &t)
-
void
mcrl2::process::
register_process_identifier_hooks
()