mcrl2::data::default_expression_generator Class Reference

Expression generator that caches values. More...

#include <default_expression_generator.h>

Public Member Functions
	default_expression_generator (const data_specification &dataspec)
const data_expression &	operator() (const sort_expression &x)

Protected Attributes
data::representative_generator	generator
std::map< sort_expression, data_expression >	default_values

Detailed Description

Expression generator that caches values.

Definition at line 22 of file default_expression_generator.h.

Constructor & Destructor Documentation

default_expression_generator()

mcrl2::data::default_expression_generator::default_expression_generator ( const data_specification &  dataspec )

inlineexplicit

Definition at line 29 of file default_expression_generator.h.

Member Function Documentation

operator()()

const data_expression & mcrl2::data::default_expression_generator::operator() ( const sort_expression &  x )

inline

Definition at line 33 of file default_expression_generator.h.

Member Data Documentation

default_values

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

protected

Definition at line 26 of file default_expression_generator.h.

generator

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

protected

Definition at line 25 of file default_expression_generator.h.

---

The documentation for this class was generated from the following file:

• data/include/mcrl2/data/default_expression_generator.h