Inheritance diagram for mcrl2::data::where_clause_node:

Public Member Functions
	where_clause_node (type_check_context &context, type_check_node_ptr body, const std::vector< std::pair< std::string, type_check_node_ptr > > &assignments)

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::vector< variable >	variables

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

Constructor & Destructor Documentation

mcrl2::data::where_clause_node::where_clause_node	(	type_check_context &	context,
		type_check_node_ptr	body,
		const std::vector< std::pair< std::string, type_check_node_ptr > > &	assignments
	)

inline

Definition at line 1124 of file type_check_tree.h.

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

inlineoverridevirtual

Definition at line 1153 of file type_check_tree.h.

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

inlineoverridevirtual

Definition at line 1135 of file type_check_tree.h.

std::vector<variable> mcrl2::data::where_clause_node::variables

Definition at line 1122 of file type_check_tree.h.

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