mCRL2
|
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_node | inline |
apply_substitution(const sort_substitution &sigma) | mcrl2::data::type_check_node | inlinevirtual |
arity | mcrl2::data::application_node | |
check_well_typedness(const type_check_context &) | mcrl2::data::type_check_node | inlinevirtual |
children | mcrl2::data::type_check_node | |
constraint | mcrl2::data::type_check_node | |
context | mcrl2::data::type_check_node | |
print() const override | mcrl2::data::application_node | inlinevirtual |
set_children_constraints(type_check_context &context) | mcrl2::data::type_check_node | inline |
set_constraint(type_check_context &context) override | mcrl2::data::application_node | inlinevirtual |
sort | mcrl2::data::type_check_node | |
type_check_node(type_check_context &context_, const std::vector< type_check_node_ptr > &children_) | mcrl2::data::type_check_node | inline |
~type_check_node() | mcrl2::data::type_check_node | inlinevirtual |