Loading...
Searching...
No Matches
mcrl2::data::add_data_variable_binding< Builder, Derived > Struct Template Reference
Maintains a multiset of bound data variables during traversal. More...
#include <add_binding.h>
Inheritance diagram for mcrl2::data::add_data_variable_binding< Builder, Derived >:
Public Types | |
| typedef core::add_binding< Builder, Derived, variable > | super |
 Public Types inherited from mcrl2::core::add_binding< Builder, Derived, variable > | |
| typedef Builder< Derived > | super |
| typedef variable | variable_type |
Public Member Functions | |
| void | increase_bind_count (const assignment_list &assignments) |
| void | decrease_bind_count (const assignment_list &assignments) |
| void | enter (const data::where_clause &x) |
| void | leave (const data::where_clause &x) |
| void | enter (const data::forall &x) |
| void | leave (const data::forall &x) |
| void | enter (const data::exists &x) |
| void | leave (const data::exists &x) |
| void | enter (const data::lambda &x) |
| void | leave (const data::lambda &x) |
| void | enter (const data::set_comprehension &x) |
| void | leave (const data::set_comprehension &x) |
| void | enter (const data::bag_comprehension &x) |
| void | leave (const data::bag_comprehension &x) |
| void | enter (const data::untyped_set_or_bag_comprehension &x) |
| void | leave (const data::untyped_set_or_bag_comprehension &x) |
| void | enter (const data::data_equation &x) |
| void | leave (const data::data_equation &x) |
| Public Member Functions inherited from mcrl2::core::add_binding< Builder, Derived, variable > | |
| bool | is_bound (variable_type const &v) const |
| Returns true if the variable v is bound. | |
| const std::multiset< variable_type > & | bound_variables () const |
| Returns the bound variables. | |
| std::multiset< variable_type >::size_type | bind_count (const variable_type &v) |
| Returns the bind count of the variable v. | |
Additional Inherited Members | |
| Protected Member Functions inherited from mcrl2::core::add_binding< Builder, Derived, variable > | |
| void | increase_bind_count (const variable_type &var) |
| Add a variable to the multiset of bound variables. | |
| void | increase_bind_count (const Container &variables, typename atermpp::enable_if_container< Container, variable_type >::type *=nullptr) |
| Add a sequence of variables to the multiset of bound variables. | |
| void | decrease_bind_count (const variable_type &var) |
| Remove a variable from the multiset of bound variables. | |
| void | decrease_bind_count (const Container &variables, typename atermpp::enable_if_container< Container, variable_type >::type *=nullptr) |
| Remove a sequence of variables from the multiset of bound variables. | |
| Protected Attributes inherited from mcrl2::core::add_binding< Builder, Derived, variable > | |
| std::multiset< variable_type > | m_bound_variables |
Detailed Description
template<template< class > class Builder, class Derived>
struct mcrl2::data::add_data_variable_binding< Builder, Derived >
struct mcrl2::data::add_data_variable_binding< Builder, Derived >
Maintains a multiset of bound data variables during traversal.
Definition at line 33 of file add_binding.h.
Member Typedef Documentation
◆ super
template<template< class > class Builder, class Derived >
| typedef core::add_binding<Builder, Derived, variable> mcrl2::data::add_data_variable_binding< Builder, Derived >::super |
Definition at line 35 of file add_binding.h.
Member Function Documentation
◆ decrease_bind_count()
template<template< class > class Builder, class Derived >
|
inline |
Definition at line 51 of file add_binding.h.
◆ enter() [1/8]
template<template< class > class Builder, class Derived >
|
inline |
Definition at line 109 of file add_binding.h.
◆ enter() [2/8]
template<template< class > class Builder, class Derived >
|
inline |
Definition at line 129 of file add_binding.h.
◆ enter() [3/8]
template<template< class > class Builder, class Derived >
|
inline |
Definition at line 79 of file add_binding.h.
◆ enter() [4/8]
template<template< class > class Builder, class Derived >
|
inline |
Definition at line 69 of file add_binding.h.
◆ enter() [5/8]
template<template< class > class Builder, class Derived >
|
inline |
Definition at line 89 of file add_binding.h.
◆ enter() [6/8]
template<template< class > class Builder, class Derived >
|
inline |
Definition at line 99 of file add_binding.h.
◆ enter() [7/8]
template<template< class > class Builder, class Derived >
|
inline |
Definition at line 119 of file add_binding.h.
◆ enter() [8/8]
template<template< class > class Builder, class Derived >
|
inline |
Definition at line 59 of file add_binding.h.
◆ increase_bind_count()
template<template< class > class Builder, class Derived >
|
inline |
Definition at line 43 of file add_binding.h.
◆ leave() [1/8]
template<template< class > class Builder, class Derived >
|
inline |
Definition at line 114 of file add_binding.h.
◆ leave() [2/8]
template<template< class > class Builder, class Derived >
|
inline |
Definition at line 134 of file add_binding.h.
◆ leave() [3/8]
template<template< class > class Builder, class Derived >
|
inline |
Definition at line 84 of file add_binding.h.
◆ leave() [4/8]
template<template< class > class Builder, class Derived >
|
inline |
Definition at line 74 of file add_binding.h.
◆ leave() [5/8]
template<template< class > class Builder, class Derived >
|
inline |
Definition at line 94 of file add_binding.h.
◆ leave() [6/8]
template<template< class > class Builder, class Derived >
|
inline |
Definition at line 104 of file add_binding.h.
◆ leave() [7/8]
template<template< class > class Builder, class Derived >
|
inline |
Definition at line 124 of file add_binding.h.
◆ leave() [8/8]
template<template< class > class Builder, class Derived >
|
inline |
Definition at line 64 of file add_binding.h.
The documentation for this struct was generated from the following file:
- data/include/mcrl2/data/add_binding.h
