mCRL2
|
#include <type_check_tree.h>
Public Member Functions | |
bag_or_set_enumeration_node (type_check_context &context, const variable &v_, type_check_node_ptr x) | |
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 | v |
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 |
Definition at line 879 of file type_check_tree.h.
|
inline |
Definition at line 883 of file type_check_tree.h.
|
inlineoverridevirtual |
Implements mcrl2::data::type_check_node.
Definition at line 907 of file type_check_tree.h.
|
inlineoverridevirtual |
Reimplemented from mcrl2::data::type_check_node.
Definition at line 889 of file type_check_tree.h.
variable mcrl2::data::bag_or_set_enumeration_node::v |
Definition at line 881 of file type_check_tree.h.