mcrl2/data/representative_generator.h

Include file:

#include "mcrl2/data/representative_generator.h"

Component for generating representatives of sorts.

Classes

• mcrl2::data::representative_generator