mCRL2
|
#include <type_check_tree.h>
Public Member Functions | |
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 | |
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 |
Definition at line 973 of file type_check_tree.h.
|
inline |
Definition at line 977 of file type_check_tree.h.
|
inlineoverridevirtual |
Implements mcrl2::data::type_check_node.
Definition at line 1000 of file type_check_tree.h.
|
inlineoverridevirtual |
Reimplemented from mcrl2::data::type_check_node.
Definition at line 983 of file type_check_tree.h.
|
inlinevirtual |
Definition at line 981 of file type_check_tree.h.
std::string mcrl2::data::unary_operator_node::name |
Definition at line 975 of file type_check_tree.h.