mcrl2/data/anonymize.h

Include file:

#include "mcrl2/data/anonymize.h"

add your file description here.

Classes

• mcrl2::data::detail::anonymize_builder
• mcrl2::data::detail::anonymize_builder_instance

Functions

void mcrl2::data::anonymize(data_specification &dataspec)