enumerator_with_iterator.h File Reference

add your file description here. More...

Go to the source code of this file.

Classes
struct	mcrl2::data::is_not_false
struct	mcrl2::data::is_not_true
class	mcrl2::data::enumerator_algorithm_without_callback< Rewriter, DataRewriter >
	An enumerator algorithm that generates solutions of a condition. More...
struct	mcrl2::data::enumerator_algorithm_without_callback< Rewriter, DataRewriter >::always_false< T >
class	mcrl2::data::enumerator_algorithm_with_iterator< Rewriter, EnumeratorListElement, Filter, DataRewriter, MutableSubstitution >
	An enumerator algorithm with an iterator interface. More...
class	mcrl2::data::enumerator_algorithm_with_iterator< Rewriter, EnumeratorListElement, Filter, DataRewriter, MutableSubstitution >::iterator
	A class to enumerate solutions for terms. 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.

Detailed Description

add your file description here.

Definition in file enumerator_with_iterator.h.