add your file description here. More...

Classes
class	mcrl2::utilities::number_postfix_generator
	Identifier generator that generates names consisting of a prefix followed by a number. For each prefix an index is maintained, that is incremented after each call to operator()(prefix). More...

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.

namespace	mcrl2::utilities

Detailed Description

add your file description here.

Classes