Inheritance diagram for mcrl2::data::application_node:

Public Member Functions
	application_node (type_check_context &context, type_check_node_ptr head, const std::vector< type_check_node_ptr > &arguments)

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::size_t	arity

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 929 of file type_check_tree.h.

Constructor & Destructor Documentation

mcrl2::data::application_node::application_node	(	type_check_context &	context,
		type_check_node_ptr	head,
		const std::vector< type_check_node_ptr > &	arguments
	)

inline

Definition at line 933 of file type_check_tree.h.

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

inlineoverridevirtual

Definition at line 967 of file type_check_tree.h.

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

inlineoverridevirtual

Definition at line 943 of file type_check_tree.h.

std::size_t mcrl2::data::application_node::arity

Definition at line 931 of file type_check_tree.h.

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