mcrl2/process/anonymize.h

Include file:

#include "mcrl2/process/anonymize.h"

add your file description here.

Classes

  • mcrl2::process::detail::anonymize_builder

  • mcrl2::process::detail::anonymize_builder_instance

Functions

void mcrl2::process::anonymize(process_specification &procspec)