Loading...
Searching...
No Matches
mcrl2::pbes_system::detail::replace_constants_by_variables_builder Struct Reference
#include <replace_constants_by_variables.h>
Inheritance diagram for mcrl2::pbes_system::detail::replace_constants_by_variables_builder:
Public Member Functions | |
| replace_constants_by_variables_builder (const data::rewriter &r, data::mutable_indexed_substitution<> &sigma) | |
 Public Member Functions inherited from mcrl2::data::detail::replace_constants_by_variables_builder< pbes_system::data_expression_builder > | |
| bool | is_constant (const data::data_expression &x) const |
| replace_constants_by_variables_builder (const data::rewriter &r_, data::mutable_indexed_substitution<> &sigma_) | |
| void | apply (T &result, const data::application &x) |
Additional Inherited Members | |
| Public Attributes inherited from mcrl2::data::detail::replace_constants_by_variables_builder< pbes_system::data_expression_builder > | |
| data::set_identifier_generator | id_generator |
| std::unordered_map< data::data_expression, data::variable > | substitutions |
| const data::rewriter & | r |
| data::mutable_indexed_substitution & | sigma |
Detailed Description
Definition at line 22 of file replace_constants_by_variables.h.
Member Typedef Documentation
◆ super
| using mcrl2::pbes_system::detail::replace_constants_by_variables_builder::super = data::detail::replace_constants_by_variables_builder<pbes_system::data_expression_builder> |
Definition at line 24 of file replace_constants_by_variables.h.
Constructor & Destructor Documentation
◆ replace_constants_by_variables_builder()
|
inline |
Definition at line 28 of file replace_constants_by_variables.h.
The documentation for this struct was generated from the following file:
- pbes/include/mcrl2/pbes/replace_constants_by_variables.h
