data_property_map.h File Reference

A property map containing properties of an LPS specification. More...

Go to the source code of this file.

Classes
class	mcrl2::data::detail::data_property_map< Derived >
	Base class for storing properties of mCRL2 types. Properties are (key, value) pairs stored as strings in KEY = VALUE format. The data_property_map has some predefined functions for types in the Data Library. The optional type argument is used by derived classes. The type represents the name of a derived class as per CRTP. More...

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::data
	Namespace for all data library functionality.
namespace	mcrl2::data::detail

Functions
template<typename PropertyMap >
bool	mcrl2::data::detail::compare_property_maps (const std::string &message, const PropertyMap &map1, const std::string &expected_result)

Detailed Description

A property map containing properties of an LPS specification.

Definition in file data_property_map.h.