mcrl2::pbes_system::pbesinst_rename Struct Reference

Creates a unique name for a propositional variable instantiation. The propositional variable instantiation must be closed. Originally implemented by Alexander van Dam. More...

#include <pbesinst_algorithm.h>

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

Detailed Description

Creates a unique name for a propositional variable instantiation. The propositional variable instantiation must be closed. Originally implemented by Alexander van Dam.

Returns

A name that uniquely corresponds to the propositional variable.

Definition at line 86 of file pbesinst_algorithm.h.

Member Function Documentation

operator()()

propositional_variable_instantiation mcrl2::pbes_system::pbesinst_rename::operator() ( const propositional_variable_instantiation &  Ye ) const

inline

Definition at line 88 of file pbesinst_algorithm.h.

---

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

• pbes/include/mcrl2/pbes/pbesinst_algorithm.h