mcrl2::data::type_check_node Struct Reference

#include <type_check_tree.h>

Inheritance diagram for mcrl2::data::type_check_node:

Public Member Functions
	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
type_check_context &	context
std::vector< type_check_node_ptr >	children
constraint_ptr	constraint
untyped_sort_variable	sort

Detailed Description

Definition at line 590 of file type_check_tree.h.

Constructor & Destructor Documentation

type_check_node()

mcrl2::data::type_check_node::type_check_node ( type_check_context &  context_, const std::vector< type_check_node_ptr > &  children_  )

inline

Definition at line 597 of file type_check_tree.h.

~type_check_node()

virtual mcrl2::data::type_check_node::~type_check_node ( )

inlinevirtual

Definition at line 603 of file type_check_tree.h.

Member Function Documentation

apply_substitution()

virtual void mcrl2::data::type_check_node::apply_substitution ( const sort_substitution &  sigma )

inlinevirtual

Definition at line 610 of file type_check_tree.h.

check_well_typedness()

virtual void mcrl2::data::type_check_node::check_well_typedness ( const type_check_context &  )

inlinevirtual

Definition at line 628 of file type_check_tree.h.

print()

virtual std::string mcrl2::data::type_check_node::print ( ) const

pure virtual

Implemented in mcrl2::data::id_node, mcrl2::data::number_node, mcrl2::data::constant_node, mcrl2::data::list_enumeration_node, mcrl2::data::bag_enumeration_node, mcrl2::data::set_enumeration_node, mcrl2::data::bag_or_set_enumeration_node, mcrl2::data::function_update_node, mcrl2::data::application_node, mcrl2::data::unary_operator_node, mcrl2::data::forall_node, mcrl2::data::exists_node, mcrl2::data::lambda_node, mcrl2::data::binary_operator_node, and mcrl2::data::where_clause_node.

set_children_constraints()

void mcrl2::data::type_check_node::set_children_constraints ( type_check_context &  context )

inline

Definition at line 619 of file type_check_tree.h.

set_constraint()

virtual void mcrl2::data::type_check_node::set_constraint ( type_check_context &  )

inlinevirtual

Reimplemented in mcrl2::data::number_node, mcrl2::data::id_node, mcrl2::data::constant_node, mcrl2::data::empty_list_node, mcrl2::data::empty_set_node, mcrl2::data::empty_bag_node, mcrl2::data::list_enumeration_node, mcrl2::data::bag_enumeration_node, mcrl2::data::set_enumeration_node, mcrl2::data::bag_or_set_enumeration_node, mcrl2::data::application_node, mcrl2::data::unary_operator_node, mcrl2::data::forall_node, mcrl2::data::exists_node, mcrl2::data::lambda_node, mcrl2::data::binary_operator_node, and mcrl2::data::where_clause_node.

Definition at line 607 of file type_check_tree.h.

Member Data Documentation

children

std::vector<type_check_node_ptr> mcrl2::data::type_check_node::children

Definition at line 593 of file type_check_tree.h.

constraint

constraint_ptr mcrl2::data::type_check_node::constraint

Definition at line 594 of file type_check_tree.h.

context

type_check_context& mcrl2::data::type_check_node::context

Definition at line 592 of file type_check_tree.h.

sort

untyped_sort_variable mcrl2::data::type_check_node::sort

Definition at line 595 of file type_check_tree.h.

---

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

• data/include/mcrl2/data/experimental/type_check_tree.h