mcrl2::data::no_substitution Struct Reference

An empty struct that is used to denote the absence of a substitution. Used for rewriters. More...

#include <no_substitution.h>

Public Member Functions
const variable &	operator() (const variable &v) const

Static Public Attributes
static constexpr bool	is_identity_substitution =true

Detailed Description

An empty struct that is used to denote the absence of a substitution. Used for rewriters.

Definition at line 23 of file no_substitution.h.

Member Function Documentation

operator()()

const variable & mcrl2::data::no_substitution::operator() ( const variable &  v ) const

inline

Definition at line 32 of file no_substitution.h.

Member Data Documentation

is_identity_substitution

constexpr bool mcrl2::data::no_substitution::is_identity_substitution =true

staticconstexpr

Definition at line 25 of file no_substitution.h.

---

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

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