mcrl2::data::or_constraint Struct Reference

#include <type_check_tree.h>

Inheritance diagram for mcrl2::data::or_constraint:

Public Member Functions
	or_constraint (const std::vector< constraint_ptr > &alternatives_)
std::string	print () const
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::vector< constraint_ptr >	alternatives
Public Attributes inherited from mcrl2::data::type_check_constraint
int	cost

Detailed Description

Definition at line 491 of file type_check_tree.h.

Constructor & Destructor Documentation

or_constraint()

mcrl2::data::or_constraint::or_constraint ( const std::vector< constraint_ptr > &  alternatives_ )

inline

Definition at line 495 of file type_check_tree.h.

Member Function Documentation

print()

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

inlinevirtual

Implements mcrl2::data::type_check_constraint.

Definition at line 499 of file type_check_tree.h.

Member Data Documentation

alternatives

std::vector<constraint_ptr> mcrl2::data::or_constraint::alternatives

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