add your file description here. More...

Classes
struct	mcrl2::data::assignment_sequence_substitution
	Substitution that maps data variables to data expressions. The substitution is stored as an assignment_list. 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.

Functions
template<>
bool	mcrl2::data::is_simple_substitution (const assignment_sequence_substitution &sigma)

Detailed Description

add your file description here.

Classes