mcrl2::data::number_node Struct Reference

#include <type_check_tree.h>

Inheritance diagram for mcrl2::data::number_node:

Public Member Functions
	number_node (type_check_context &context, const std::string &value_)
void	set_constraint (type_check_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	value
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 683 of file type_check_tree.h.

Constructor & Destructor Documentation

number_node()

mcrl2::data::number_node::number_node ( type_check_context &  context, const std::string &  value_  )

inline

Definition at line 687 of file type_check_tree.h.

Member Function Documentation

print()

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

inlineoverridevirtual

Implements mcrl2::data::type_check_node.

Definition at line 707 of file type_check_tree.h.

set_constraint()

void mcrl2::data::number_node::set_constraint ( type_check_context &  )

inlineoverridevirtual

Reimplemented from mcrl2::data::type_check_node.

Definition at line 691 of file type_check_tree.h.

Member Data Documentation

value

std::string mcrl2::data::number_node::value

Definition at line 685 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