mcrl2::data::type_check_constraint Struct Reference

#include <type_check_tree.h>

Inheritance diagram for mcrl2::data::type_check_constraint:

Public Member Functions
	type_check_constraint (int cost_=0)
virtual std::string	print () const =0

Public Attributes
int	cost

Detailed Description

Definition at line 191 of file type_check_tree.h.

Constructor & Destructor Documentation

type_check_constraint()

mcrl2::data::type_check_constraint::type_check_constraint ( int  cost_ = 0 )

inline

Definition at line 195 of file type_check_tree.h.

Member Function Documentation

print()

virtual std::string mcrl2::data::type_check_constraint::print ( ) const

pure virtual

Implemented in mcrl2::data::or_constraint, mcrl2::data::true_constraint, mcrl2::data::false_constraint, mcrl2::data::is_element_of_constraint, mcrl2::data::is_equal_to_constraint, mcrl2::data::subsort_constraint, and mcrl2::data::and_constraint.

Member Data Documentation

cost

int mcrl2::data::type_check_constraint::cost

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