mcrl2/pbes/anonymize.h
Include file:
#include "mcrl2/pbes/anonymize.h"
add your file description here.
Classes
mcrl2::pbes_system::detail::anonymize_buildermcrl2::pbes_system::detail::anonymize_builder_instance
Functions
-
void
mcrl2::pbes_system::anonymize(pbes &pbesspec)
