No Matches
mcrl2::data::is_element_of_constraint Struct Referencefinal

#include <type_check_tree.h>

Inheritance diagram for mcrl2::data::is_element_of_constraint:

Public Member Functions

 is_element_of_constraint (const untyped_sort_variable &s_, const std::vector< sort_expression > &sorts_, 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 s
std::vector< sort_expressionsorts
- Public Attributes inherited from mcrl2::data::type_check_constraint
int cost

Detailed Description

Definition at line 245 of file type_check_tree.h.

Constructor & Destructor Documentation

◆ is_element_of_constraint()

mcrl2::data::is_element_of_constraint::is_element_of_constraint ( const untyped_sort_variable s_,
const std::vector< sort_expression > &  sorts_,
int  cost = 0 

Definition at line 250 of file type_check_tree.h.

Member Function Documentation

◆ print()

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

Implements mcrl2::data::type_check_constraint.

Definition at line 254 of file type_check_tree.h.

Member Data Documentation

◆ s

untyped_sort_variable mcrl2::data::is_element_of_constraint::s

Definition at line 247 of file type_check_tree.h.

◆ sorts

std::vector<sort_expression> mcrl2::data::is_element_of_constraint::sorts

Definition at line 248 of file type_check_tree.h.

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