mCRL2
Loading...
Searching...
No Matches
mcrl2::data::enumerator_list_element< Expression > Member List

This is the complete list of members for mcrl2::data::enumerator_list_element< Expression >, including all inherited members.

enumerator_list_element()=defaultmcrl2::data::enumerator_list_element< Expression >
enumerator_list_element(data::variable_list v_, const Expression &phi_)mcrl2::data::enumerator_list_element< Expression >inline
enumerator_list_element(data::variable_list v_, const Expression &phi_, const enumerator_list_element &)mcrl2::data::enumerator_list_element< Expression >inline
enumerator_list_element(data::variable_list v_, const Expression &phi_, const enumerator_list_element &, const data::variable &, const data::data_expression &)mcrl2::data::enumerator_list_element< Expression >inline
expression() constmcrl2::data::enumerator_list_element< Expression >inline
expression()mcrl2::data::enumerator_list_element< Expression >inline
expression_type typedefmcrl2::data::enumerator_list_element< Expression >
invalidate()mcrl2::data::enumerator_list_element< Expression >inline
is_solution() constmcrl2::data::enumerator_list_element< Expression >inline
is_valid() constmcrl2::data::enumerator_list_element< Expression >inline
mark(atermpp::term_mark_stack &todo) constmcrl2::data::enumerator_list_element< Expression >inline
phimcrl2::data::enumerator_list_element< Expression >protected
set(const data::variable_list &v_, const Expression &phi_)mcrl2::data::enumerator_list_element< Expression >inline
set(const data::variable_list &v_, const Expression &phi_, const enumerator_list_element &)mcrl2::data::enumerator_list_element< Expression >inline
set(const data::variable_list &v_, const Expression &phi_, const enumerator_list_element &, const data::variable &, const data::data_expression &)mcrl2::data::enumerator_list_element< Expression >inline
vmcrl2::data::enumerator_list_element< Expression >protected
variables() constmcrl2::data::enumerator_list_element< Expression >inline