mcrl2::data::binary_operator_node Member List

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

apply_substitution(const sort_substitution &sigma)	mcrl2::data::type_check_node	inlinevirtual
binary_operator_node(type_check_context &context, const std::string &name_, type_check_node_ptr left, type_check_node_ptr right)	mcrl2::data::binary_operator_node	inline
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
name	mcrl2::data::binary_operator_node
print() const override	mcrl2::data::binary_operator_node	inlinevirtual
set_children_constraints(type_check_context &context)	mcrl2::data::type_check_node	inline
set_constraint(type_check_context &context) override	mcrl2::data::binary_operator_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