mcrl2::data::detail::elements_per_domain Struct Reference

#include <parvalues.h>

Public Attributes
std::unordered_set< data::data_expression >	stable
	Values which have already been propagated.
std::unordered_set< data::data_expression >	todo
	Values which are currently being propagated (possibly combined with old values)
std::unordered_set< data::data_expression >	newly_found
	Values found in the current iterations (are not considered until the next iteration)

Detailed Description

Definition at line 81 of file parvalues.h.

Member Data Documentation

newly_found

std::unordered_set<data::data_expression> mcrl2::data::detail::elements_per_domain::newly_found

Values found in the current iterations (are not considered until the next iteration)

Definition at line 88 of file parvalues.h.

stable

std::unordered_set<data::data_expression> mcrl2::data::detail::elements_per_domain::stable

Values which have already been propagated.

Definition at line 84 of file parvalues.h.

todo

std::unordered_set<data::data_expression> mcrl2::data::detail::elements_per_domain::todo

Values which are currently being propagated (possibly combined with old values)

Definition at line 86 of file parvalues.h.

---

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

• data/include/mcrl2/data/detail/parvalues.h