mcrl2::data::false_constraint Struct Reference

#include <type_check_tree.h>

Inheritance diagram for mcrl2::data::false_constraint:

Public Member Functions
	false_constraint (const std::string &message_)
std::string	print () const override
Public Member Functions inherited from mcrl2::data::type_check_constraint
	type_check_constraint (int cost_=0)
virtual std::string	print () const =0

Public Attributes
std::string	message
Public Attributes inherited from mcrl2::data::type_check_constraint
int	cost

Detailed Description

Definition at line 218 of file type_check_tree.h.

Constructor & Destructor Documentation

false_constraint()

mcrl2::data::false_constraint::false_constraint ( const std::string &  message_ )

inline

Definition at line 222 of file type_check_tree.h.

Member Function Documentation

print()

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

inlineoverridevirtual

Implements mcrl2::data::type_check_constraint.

Definition at line 226 of file type_check_tree.h.

Member Data Documentation

message

std::string mcrl2::data::false_constraint::message

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