expression_traits.h File Reference

Contains term traits for data_expression. More...

Go to the source code of this file.

Classes
struct	mcrl2::core::term_traits< data::data_expression >
	Contains type information for data expressions. More...
struct	mcrl2::data::expression_traits< Expression >
	expression traits (currently nothing more than core::term_traits) More...

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

Detailed Description

Contains term traits for data_expression.

Definition in file expression_traits.h.