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

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

add_assignments(const VariableList &v, MutableSubstitution &result, const Rewriter &rewriter) constmcrl2::data::enumerator_list_element_with_substitution< Expression >inline
assign_expressions(const VariableList &v, const Rewriter &rewriter) constmcrl2::data::enumerator_list_element_with_substitution< Expression >inline
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
enumerator_list_element_with_substitution()=defaultmcrl2::data::enumerator_list_element_with_substitution< Expression >
enumerator_list_element_with_substitution(const data::variable_list &v, const Expression &phi)mcrl2::data::enumerator_list_element_with_substitution< Expression >inline
enumerator_list_element_with_substitution(const data::variable_list &v, const Expression &phi, const enumerator_list_element_with_substitution< Expression > &elem)mcrl2::data::enumerator_list_element_with_substitution< Expression >inline
enumerator_list_element_with_substitution(const data::variable_list &v, const Expression &phi, const enumerator_list_element_with_substitution< Expression > &elem, const data::variable &d, const data::data_expression &e)mcrl2::data::enumerator_list_element_with_substitution< 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_with_substitution< 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
m_expressionsmcrl2::data::enumerator_list_element_with_substitution< Expression >protected
m_variablesmcrl2::data::enumerator_list_element_with_substitution< Expression >protected
mark(std::stack< std::reference_wrapper< atermpp::detail::_aterm > > &todo) constmcrl2::data::enumerator_list_element_with_substitution< Expression >inline
mcrl2::data::enumerator_list_element::mark(atermpp::term_mark_stack &todo) constmcrl2::data::enumerator_list_element< Expression >inline
phimcrl2::data::enumerator_list_element< Expression >protected
remove_assignments(const VariableList &v, MutableSubstitution &result) constmcrl2::data::enumerator_list_element_with_substitution< Expression >inline
set(const data::variable_list &v, const Expression &phi, const enumerator_list_element_with_substitution< Expression > &elem, const data::variable &d, const data::data_expression &e)mcrl2::data::enumerator_list_element_with_substitution< Expression >inline
set(const data::variable_list &v, const Expression &phi, const enumerator_list_element_with_substitution< Expression > &elem)mcrl2::data::enumerator_list_element_with_substitution< Expression >inline
mcrl2::data::enumerator_list_element::set(const data::variable_list &v_, const Expression &phi_)mcrl2::data::enumerator_list_element< Expression >inline
mcrl2::data::enumerator_list_element::set(const data::variable_list &v_, const Expression &phi_, const enumerator_list_element &)mcrl2::data::enumerator_list_element< Expression >inline
mcrl2::data::enumerator_list_element::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
sigma() constmcrl2::data::enumerator_list_element_with_substitution< Expression >inline
vmcrl2::data::enumerator_list_element< Expression >protected
variables() constmcrl2::data::enumerator_list_element< Expression >inline