mcrl2::pbes_system::no_substitution Struct Reference

An empty struct that can be used to indicate that there is no substitution that should be applied to propositional variables. More...

#include <substitutions.h>

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

Detailed Description

An empty struct that can be used to indicate that there is no substitution that should be applied to propositional variables.

Definition at line 23 of file substitutions.h.

Member Function Documentation

operator()()

const propositional_variable_instantiation & mcrl2::pbes_system::no_substitution::operator() ( const propositional_variable_instantiation &  v )

inline

Definition at line 25 of file substitutions.h.

---

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

• pbes/include/mcrl2/pbes/substitutions.h