mCRL2
Loading...
Searching...
No Matches
mcrl2::data::application_node Member List

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

application_node(type_check_context &context, type_check_node_ptr head, const std::vector< type_check_node_ptr > &arguments)mcrl2::data::application_nodeinline
apply_substitution(const sort_substitution &sigma)mcrl2::data::type_check_nodeinlinevirtual
aritymcrl2::data::application_node
check_well_typedness(const type_check_context &)mcrl2::data::type_check_nodeinlinevirtual
childrenmcrl2::data::type_check_node
constraintmcrl2::data::type_check_node
contextmcrl2::data::type_check_node
print() const overridemcrl2::data::application_nodeinlinevirtual
set_children_constraints(type_check_context &context)mcrl2::data::type_check_nodeinline
set_constraint(type_check_context &context) overridemcrl2::data::application_nodeinlinevirtual
sortmcrl2::data::type_check_node
type_check_node(type_check_context &context_, const std::vector< type_check_node_ptr > &children_)mcrl2::data::type_check_nodeinline
~type_check_node()mcrl2::data::type_check_nodeinlinevirtual