Include file:
#include "mcrl2/data/representative_generator.h"
Component for generating representatives of sorts.
mcrl2::data::representative_generator
mcrl2/data/replace_constants_by_variables.h
mcrl2/data/rewrite.h