Include file:
#include "mcrl2/data/enumerator.h
mcrl2::data::
enumerator_list_element
¶The default element for the todo list of the enumerator.
mcrl2::data::enumerator_list_element::
expression_type
¶typedef for Expression
mcrl2::data::enumerator_list_element::
phi
¶mcrl2::data::enumerator_list_element::
v
¶enumerator_list_element
() = default¶Default constructor.
enumerator_list_element
(data::variable_list v_, const Expression &phi_)¶Constructs the element (v, phi)
enumerator_list_element
(data::variable_list v_, const Expression &phi_, const enumerator_list_element&)¶Constructs the element (v, phi)
enumerator_list_element
(data::variable_list v_, const Expression &phi_, const enumerator_list_element&, const data::variable&, const data::data_expression&)¶Constructs the element (v, phi)
expression
()¶expression
() const¶invalidate
()¶Invalidates the element, by giving phi an undefined value.
is_solution
() const¶is_valid
() const¶Returns true if the element is valid. If it becomes false, this is used to signal that the enumeration has been aborted.
variables
() const