No Matches
mcrl2::data::lambda_node Struct Referencefinal

#include <type_check_tree.h>

Inheritance diagram for mcrl2::data::lambda_node:
mcrl2::data::unary_operator_node mcrl2::data::type_check_node

Public Member Functions

 lambda_node (type_check_context &context, const variable_list &variables_, type_check_node_ptr arg)
void set_constraint (type_check_context &context) override
std::string print () const override
- Public Member Functions inherited from mcrl2::data::unary_operator_node
 unary_operator_node (type_check_context &context, const std::string &name_, type_check_node_ptr arg)
virtual ~unary_operator_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

variable_list variables
- Public Attributes inherited from mcrl2::data::unary_operator_node
std::string name
- Public Attributes inherited from mcrl2::data::type_check_node
std::vector< type_check_node_ptrchildren
constraint_ptr constraint
untyped_sort_variable sort

Detailed Description

Definition at line 1058 of file type_check_tree.h.

Constructor & Destructor Documentation

◆ lambda_node()

mcrl2::data::lambda_node::lambda_node ( type_check_context context,
const variable_list variables_,
type_check_node_ptr  arg 

Definition at line 1062 of file type_check_tree.h.

Member Function Documentation

◆ print()

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

Implements mcrl2::data::type_check_node.

Definition at line 1075 of file type_check_tree.h.

◆ set_constraint()

void mcrl2::data::lambda_node::set_constraint ( type_check_context context)

Reimplemented from mcrl2::data::type_check_node.

Definition at line 1066 of file type_check_tree.h.

Member Data Documentation

◆ variables

variable_list mcrl2::data::lambda_node::variables

Definition at line 1060 of file type_check_tree.h.

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