mcrl2/data/enumerator_with_iterator.h

Include file:

#include "mcrl2/data/enumerator_with_iterator.h"

add your file description here.

Classes

• mcrl2::data::enumerator_algorithm_without_callback::always_false
• mcrl2::data::enumerator_algorithm_with_iterator
• mcrl2::data::enumerator_algorithm_without_callback
• mcrl2::data::is_not_false
• mcrl2::data::is_not_true
• mcrl2::data::enumerator_algorithm_with_iterator::iterator