mcrl2::data::sort_expression_assignment Struct Reference

Substitution that maps a sort expression to a sort expression. More...

#include <sort_expression_assignment.h>

Public Types
typedef sort_expression	variable_type
typedef sort_expression	expression_type

Public Member Functions
	sort_expression_assignment (const sort_expression &lhs_, const sort_expression &rhs_)
const sort_expression &	operator() (const sort_expression &x) const

Public Attributes
sort_expression	lhs
sort_expression	rhs

Detailed Description

Substitution that maps a sort expression to a sort expression.

Definition at line 23 of file sort_expression_assignment.h.

Member Typedef Documentation

expression_type

typedef sort_expression mcrl2::data::sort_expression_assignment::expression_type

Definition at line 26 of file sort_expression_assignment.h.

variable_type

typedef sort_expression mcrl2::data::sort_expression_assignment::variable_type

Definition at line 25 of file sort_expression_assignment.h.

Constructor & Destructor Documentation

sort_expression_assignment()

mcrl2::data::sort_expression_assignment::sort_expression_assignment ( const sort_expression &  lhs_, const sort_expression &  rhs_  )

inline

Definition at line 31 of file sort_expression_assignment.h.

Member Function Documentation

operator()()

const sort_expression & mcrl2::data::sort_expression_assignment::operator() ( const sort_expression &  x ) const

inline

Definition at line 36 of file sort_expression_assignment.h.

Member Data Documentation

lhs

sort_expression mcrl2::data::sort_expression_assignment::lhs

Definition at line 28 of file sort_expression_assignment.h.

rhs

sort_expression mcrl2::data::sort_expression_assignment::rhs

Definition at line 29 of file sort_expression_assignment.h.

---

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

• data/include/mcrl2/data/substitutions/sort_expression_assignment.h