No Matches
mcrl2::data::subsort_constraint Struct Referencefinal

#include <type_check_tree.h>

Inheritance diagram for mcrl2::data::subsort_constraint:

Public Member Functions

 subsort_constraint (const sort_expression &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

sort_expression s1
sort_expression s2
- Public Attributes inherited from mcrl2::data::type_check_constraint
int cost

Detailed Description

Definition at line 359 of file type_check_tree.h.

Constructor & Destructor Documentation

◆ subsort_constraint()

mcrl2::data::subsort_constraint::subsort_constraint ( const sort_expression s1_,
const sort_expression s2_,
int  cost = 0 

Definition at line 364 of file type_check_tree.h.

Member Function Documentation

◆ print()

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

Implements mcrl2::data::type_check_constraint.

Definition at line 368 of file type_check_tree.h.

Member Data Documentation

◆ s1

sort_expression mcrl2::data::subsort_constraint::s1

Definition at line 361 of file type_check_tree.h.

◆ s2

sort_expression mcrl2::data::subsort_constraint::s2

Definition at line 362 of file type_check_tree.h.

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