No Matches
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_expressionoperator() (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

◆ variable_type

Constructor & Destructor Documentation

◆ sort_expression_assignment()

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

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

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: