Inheritance diagram for mcrl2::data::binary_operator_node:

Public Member Functions
	binary_operator_node (type_check_context &context, const std::string &name_, type_check_node_ptr left, type_check_node_ptr right)

void	set_constraint (type_check_context &context) override

std::string	print () const override

Public Member Functions inherited from mcrl2::data::type_check_node
	type_check_node (type_check_context &context_, const std::vector< type_check_node_ptr > &children_)

virtual	~type_check_node ()

virtual void	set_constraint (type_check_context &)

virtual void	apply_substitution (const sort_substitution &sigma)

void	set_children_constraints (type_check_context &context)

virtual void	check_well_typedness (const type_check_context &)

virtual std::string	print () const =0

Public Attributes
std::string	name

Public Attributes inherited from mcrl2::data::type_check_node
type_check_context &	context

std::vector< type_check_node_ptr >	children

constraint_ptr	constraint

untyped_sort_variable	sort

Detailed Description

Definition at line 1083 of file type_check_tree.h.

Constructor & Destructor Documentation

mcrl2::data::binary_operator_node::binary_operator_node	(	type_check_context &	context,
		const std::string &	name_,
		type_check_node_ptr	left,
		type_check_node_ptr	right
	)

inline

Definition at line 1087 of file type_check_tree.h.

std::string mcrl2::data::binary_operator_node::print ( ) const

inlineoverridevirtual

Definition at line 1112 of file type_check_tree.h.

void mcrl2::data::binary_operator_node::set_constraint ( type_check_context & context )

inlineoverridevirtual

Definition at line 1091 of file type_check_tree.h.

std::string mcrl2::data::binary_operator_node::name

Definition at line 1085 of file type_check_tree.h.

The documentation for this struct was generated from the following file: