mCRL2
Loading...
Searching...
No Matches
mcrl2::state_formulas::state_formula_variable_rename_builder Struct Reference

Visitor that renames variables using the specified identifier generator. Also bound variables are renamed! More...

#include <state_formula_rename.h>

Inheritance diagram for mcrl2::state_formulas::state_formula_variable_rename_builder:
mcrl2::state_formulas::sort_expression_builder< state_formula_variable_rename_builder > mcrl2::state_formulas::add_sort_expressions< Builder, Derived >

Public Types

typedef state_formulas::sort_expression_builder< state_formula_variable_rename_buildersuper
 
- Public Types inherited from mcrl2::state_formulas::add_sort_expressions< Builder, Derived >
typedef Builder< Derived > super
 

Public Member Functions

core::identifier_string create_name (const core::identifier_string &x)
 
 state_formula_variable_rename_builder (const std::set< core::identifier_string > &forbidden_identifiers_)
 Constructor.
 
template<class T >
void apply (T &result, const data::sort_expression &x)
 
template<class T >
void apply (T &result, const data::variable &x)
 
- Public Member Functions inherited from mcrl2::state_formulas::add_sort_expressions< Builder, Derived >
template<class T >
void apply (T &result, const state_formulas::true_ &x)
 
template<class T >
void apply (T &result, const state_formulas::false_ &x)
 
template<class T >
void apply (T &result, const state_formulas::not_ &x)
 
template<class T >
void apply (T &result, const state_formulas::minus &x)
 
template<class T >
void apply (T &result, const state_formulas::and_ &x)
 
template<class T >
void apply (T &result, const state_formulas::or_ &x)
 
template<class T >
void apply (T &result, const state_formulas::imp &x)
 
template<class T >
void apply (T &result, const state_formulas::plus &x)
 
template<class T >
void apply (T &result, const state_formulas::const_multiply &x)
 
template<class T >
void apply (T &result, const state_formulas::const_multiply_alt &x)
 
template<class T >
void apply (T &result, const state_formulas::forall &x)
 
template<class T >
void apply (T &result, const state_formulas::exists &x)
 
template<class T >
void apply (T &result, const state_formulas::infimum &x)
 
template<class T >
void apply (T &result, const state_formulas::supremum &x)
 
template<class T >
void apply (T &result, const state_formulas::sum &x)
 
template<class T >
void apply (T &result, const state_formulas::must &x)
 
template<class T >
void apply (T &result, const state_formulas::may &x)
 
template<class T >
void apply (T &result, const state_formulas::yaled &x)
 
template<class T >
void apply (T &result, const state_formulas::yaled_timed &x)
 
template<class T >
void apply (T &result, const state_formulas::delay &x)
 
template<class T >
void apply (T &result, const state_formulas::delay_timed &x)
 
template<class T >
void apply (T &result, const state_formulas::variable &x)
 
template<class T >
void apply (T &result, const state_formulas::nu &x)
 
template<class T >
void apply (T &result, const state_formulas::mu &x)
 
void update (state_formulas::state_formula_specification &x)
 
template<class T >
void apply (T &result, const state_formulas::state_formula &x)
 

Public Attributes

const std::set< core::identifier_string > & forbidden_identifiers
 The set of identifiers that may not be used as a variable name.
 
std::map< core::identifier_string, core::identifier_stringgenerated_identifiers
 
utilities::number_postfix_generator generator
 

Detailed Description

Visitor that renames variables using the specified identifier generator. Also bound variables are renamed!

Definition at line 130 of file state_formula_rename.h.

Member Typedef Documentation

◆ super

Constructor & Destructor Documentation

◆ state_formula_variable_rename_builder()

mcrl2::state_formulas::state_formula_variable_rename_builder::state_formula_variable_rename_builder ( const std::set< core::identifier_string > &  forbidden_identifiers_)
inline

Constructor.

Definition at line 159 of file state_formula_rename.h.

Member Function Documentation

◆ apply() [1/2]

template<class T >
void mcrl2::state_formulas::state_formula_variable_rename_builder::apply ( T &  result,
const data::sort_expression x 
)
inline

Definition at line 170 of file state_formula_rename.h.

◆ apply() [2/2]

template<class T >
void mcrl2::state_formulas::state_formula_variable_rename_builder::apply ( T &  result,
const data::variable x 
)
inline

Definition at line 176 of file state_formula_rename.h.

◆ create_name()

core::identifier_string mcrl2::state_formulas::state_formula_variable_rename_builder::create_name ( const core::identifier_string x)
inline

Definition at line 146 of file state_formula_rename.h.

Member Data Documentation

◆ forbidden_identifiers

const std::set<core::identifier_string>& mcrl2::state_formulas::state_formula_variable_rename_builder::forbidden_identifiers

The set of identifiers that may not be used as a variable name.

Definition at line 140 of file state_formula_rename.h.

◆ generated_identifiers

std::map<core::identifier_string, core::identifier_string> mcrl2::state_formulas::state_formula_variable_rename_builder::generated_identifiers

Definition at line 142 of file state_formula_rename.h.

◆ generator

utilities::number_postfix_generator mcrl2::state_formulas::state_formula_variable_rename_builder::generator

Definition at line 144 of file state_formula_rename.h.


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