This is the complete list of members for mcrl2::data::application, including all inherited members.

application()	mcrl2::data::application	inline
application(const data_expression &head, const data_expression &arg1, const Terms &...other_arguments)	mcrl2::data::application	inline
application(const atermpp::aterm &term)	mcrl2::data::application	inlineexplicit
application(const data_expression &head, const Container &arguments, typename atermpp::enable_if_container< Container, data_expression >::type *=nullptr)	mcrl2::data::application	inline
application(const data_expression &head, FwdIter first, FwdIter last, typename std::enable_if< !std::is_base_of< data_expression, FwdIter >::value >::type *=nullptr)	mcrl2::data::application	inline
application(const std::size_t arity, const data_expression &head, FwdIter first, FwdIter last, typename std::enable_if< !std::is_base_of< data_expression, FwdIter >::value >::type *=0)	mcrl2::data::application	inline
application(const data_expression &head, FwdIter first, FwdIter last, ArgumentConverter convert_arguments, const bool skip_first_argument=false, typename std::enable_if< !std::is_base_of< data_expression, FwdIter >::value >::type =nullptr, typename std::enable_if< !std::is_base_of< data_expression, ArgumentConverter >::value >::type =nullptr)	mcrl2::data::application	inline
application(const data_expression &head, FwdIter first, FwdIter last, ArgumentConverter convert_arguments, const bool skip_first_argument=false, typename std::enable_if< !std::is_base_of< data_expression, FwdIter >::value >::type =nullptr, typename std::enable_if< !std::is_base_of< data_expression, ArgumentConverter >::value >::type =nullptr, typename std::enable_if< std::is_same< typename std::invoke_result< ArgumentConverter, data_expression &, typename FwdIter::value_type >::type, void >::value >::type *=nullptr)	mcrl2::data::application	inline
application(const application &) noexcept=default	mcrl2::data::application
application(application &&) noexcept=default	mcrl2::data::application
assign(const aterm_core &other, detail::thread_aterm_pool &pool) noexcept	atermpp::aterm_core	inline
aterm(detail::_term_appl *t)	atermpp::aterm	inlineexplicitprotected
aterm()	atermpp::aterm	inline
aterm(const aterm &other) noexcept=default	atermpp::aterm
aterm(aterm &&other) noexcept=default	atermpp::aterm
aterm(const function_symbol &sym, ForwardIterator begin, ForwardIterator end)	atermpp::aterm	inline
aterm(const function_symbol &sym, InputIterator begin, InputIterator end)	atermpp::aterm	inline
aterm(const function_symbol &sym, InputIterator begin, InputIterator end, TermConverter converter)	atermpp::aterm	inline
aterm(const function_symbol &sym)	atermpp::aterm	inline
aterm(const function_symbol &symbol, const Terms &...arguments)	atermpp::aterm	inline
aterm_core() noexcept	atermpp::aterm_core	inline
aterm_core(const detail::_aterm *t) noexcept	atermpp::aterm_core	inlineexplicit
aterm_core(const aterm_core &other) noexcept	atermpp::aterm_core	inline
aterm_core(aterm_core &&other) noexcept	atermpp::aterm_core	inline
begin() const	mcrl2::data::application	inline
const_iterator typedef	mcrl2::data::application
data_expression()	mcrl2::data::data_expression	inline
data_expression(const atermpp::aterm &term)	mcrl2::data::data_expression	inlineexplicit
data_expression(const data_expression &) noexcept=default	mcrl2::data::data_expression
data_expression(data_expression &&) noexcept=default	mcrl2::data::data_expression
defined() const	atermpp::unprotected_aterm_core	inline
difference_type typedef	atermpp::aterm
empty() const	atermpp::aterm	inline
end() const	mcrl2::data::application	inline
function() const	atermpp::aterm	inline
head() const	mcrl2::data::application	inline
is_default_data_expression() const	mcrl2::data::data_expression	inline
iterator typedef	mcrl2::data::application	private
m_term	atermpp::unprotected_aterm_core	protected
max_size() const	atermpp::aterm	inline
operator!=(const unprotected_aterm_core &t) const	atermpp::unprotected_aterm_core	inline
operator()(const data_expression &e) const	mcrl2::data::data_expression	inline
operator()(const data_expression &e1, const data_expression &e2) const	mcrl2::data::data_expression	inline
operator()(const data_expression &e1, const data_expression &e2, const data_expression &e3) const	mcrl2::data::data_expression	inline
operator()(const data_expression &e1, const data_expression &e2, const data_expression &e3, const data_expression &e4) const	mcrl2::data::data_expression	inline
operator()(const data_expression &e1, const data_expression &e2, const data_expression &e3, const data_expression &e4, const data_expression &e5) const	mcrl2::data::data_expression	inline
operator()(const data_expression &e1, const data_expression &e2, const data_expression &e3, const data_expression &e4, const data_expression &e5, const data_expression &e6) const	mcrl2::data::data_expression	inline
operator<(const unprotected_aterm_core &t) const	atermpp::unprotected_aterm_core	inline
operator<=(const unprotected_aterm_core &t) const	atermpp::unprotected_aterm_core	inline
operator=(const application &) noexcept=default	mcrl2::data::application
operator=(application &&) noexcept=default	mcrl2::data::application
mcrl2::data::data_expression::operator=(const data_expression &) noexcept=default	mcrl2::data::data_expression
mcrl2::data::data_expression::operator=(data_expression &&) noexcept=default	mcrl2::data::data_expression
atermpp::aterm::operator=(const aterm &other) noexcept=default	atermpp::aterm
atermpp::aterm::operator=(aterm &&other) noexcept=default	atermpp::aterm
atermpp::aterm_core::operator=(const aterm_core &other) noexcept	atermpp::aterm_core	inline
atermpp::aterm_core::operator=(aterm_core &&other) noexcept	atermpp::aterm_core	inline
operator==(const unprotected_aterm_core &t) const	atermpp::unprotected_aterm_core	inline
operator>(const unprotected_aterm_core &t) const	atermpp::unprotected_aterm_core	inline
operator>=(const unprotected_aterm_core &t) const	atermpp::unprotected_aterm_core	inline
operator[](std::size_t index) const	mcrl2::data::application	inline
size() const	mcrl2::data::application	inline
size_type typedef	atermpp::aterm
sort() const	mcrl2::data::data_expression
swap(unprotected_aterm_core &t) noexcept	atermpp::unprotected_aterm_core	inline
type_is_appl() const noexcept	atermpp::unprotected_aterm_core	inline
type_is_int() const noexcept	atermpp::unprotected_aterm_core	inline
type_is_list() const noexcept	atermpp::unprotected_aterm_core	inline
unprotected_assign(const aterm_core &other) noexcept	atermpp::aterm_core	inline
unprotected_aterm_core() noexcept	atermpp::unprotected_aterm_core	inline
unprotected_aterm_core(const detail::_aterm *term) noexcept	atermpp::unprotected_aterm_core	inline
~aterm_core() noexcept	atermpp::aterm_core	inline