mcrl2::data::default_expression_generator

Include file:

#include "mcrl2/data/default_expression_generator.h

class mcrl2::data::default_expression_generator

Expression generator that caches values.

Protected attributes

std::map<sort_expression, data_expression> mcrl2::data::default_expression_generator::default_values

data::representative_generator mcrl2::data::default_expression_generator::generator

Public member functions

default_expression_generator(const data_specification &dataspec)

const data_expression &operator()(const sort_expression &x)