mCRL2
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
mcrl2::data::constant_node Struct Reference

#include <type_check_tree.h>

Inheritance diagram for mcrl2::data::constant_node:
mcrl2::data::type_check_node mcrl2::data::empty_bag_node mcrl2::data::empty_list_node mcrl2::data::empty_set_node mcrl2::data::false_node mcrl2::data::true_node

Public Member Functions

 constant_node (type_check_context &context, const std::string &name_)
 
virtual ~constant_node ()
 
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 713 of file type_check_tree.h.

Constructor & Destructor Documentation

◆ constant_node()

mcrl2::data::constant_node::constant_node ( type_check_context &  context,
const std::string &  name_ 
)
inline

Definition at line 717 of file type_check_tree.h.

◆ ~constant_node()

virtual mcrl2::data::constant_node::~constant_node ( )
inlinevirtual

Definition at line 721 of file type_check_tree.h.

Member Function Documentation

◆ print()

std::string mcrl2::data::constant_node::print ( ) const
inlineoverridevirtual

Implements mcrl2::data::type_check_node.

Definition at line 735 of file type_check_tree.h.

◆ set_constraint()

void mcrl2::data::constant_node::set_constraint ( type_check_context &  context)
inlineoverridevirtual

Reimplemented from mcrl2::data::type_check_node.

Reimplemented in mcrl2::data::empty_list_node, mcrl2::data::empty_set_node, and mcrl2::data::empty_bag_node.

Definition at line 723 of file type_check_tree.h.

Member Data Documentation

◆ name

std::string mcrl2::data::constant_node::name

Definition at line 715 of file type_check_tree.h.

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