mcrl2/data/representative_generator.h

Include file:

#include "mcrl2/data/representative_generator.h"

Component for generating representatives of sorts.