mcrl2::data::is_equal_to_constraint Struct Reference

#include <type_check_tree.h>

Inheritance diagram for mcrl2::data::is_equal_to_constraint:

Public Member Functions
	is_equal_to_constraint (const untyped_sort_variable &s1_, const sort_expression &s2_, int cost=0)
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
untyped_sort_variable	s1
sort_expression	s2
Public Attributes inherited from mcrl2::data::type_check_constraint
int	cost

Detailed Description

Definition at line 319 of file type_check_tree.h.

Constructor & Destructor Documentation

is_equal_to_constraint()

mcrl2::data::is_equal_to_constraint::is_equal_to_constraint ( const untyped_sort_variable &  s1_, const sort_expression &  s2_, int  cost = 0  )

inline

Definition at line 324 of file type_check_tree.h.

Member Function Documentation

print()

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

inlineoverridevirtual

Implements mcrl2::data::type_check_constraint.

Definition at line 328 of file type_check_tree.h.

Member Data Documentation

s1

untyped_sort_variable mcrl2::data::is_equal_to_constraint::s1

Definition at line 321 of file type_check_tree.h.

s2

sort_expression mcrl2::data::is_equal_to_constraint::s2

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