mCRL2
Loading...
Searching...
No Matches
mcrl2::data::and_constraint Struct Referencefinal

#include <type_check_tree.h>

Inheritance diagram for mcrl2::data::and_constraint:
mcrl2::data::type_check_constraint

Public Member Functions

 and_constraint (const std::vector< constraint_ptr > &alternatives_)
 
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::vector< constraint_ptralternatives
 
- Public Attributes inherited from mcrl2::data::type_check_constraint
int cost
 

Detailed Description

Definition at line 541 of file type_check_tree.h.

Constructor & Destructor Documentation

◆ and_constraint()

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

Definition at line 545 of file type_check_tree.h.

Member Function Documentation

◆ print()

std::string mcrl2::data::and_constraint::print ( ) const
inlineoverridevirtual

Implements mcrl2::data::type_check_constraint.

Definition at line 549 of file type_check_tree.h.

Member Data Documentation

◆ alternatives

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

Definition at line 543 of file type_check_tree.h.


The documentation for this struct was generated from the following file: