mcrl2::core::add_binding

Include file:

#include "mcrl2/core/add_binding.h

class mcrl2::core::add_binding

Traverser that defines functions for maintaining bound variables.

Public types

type mcrl2::core::add_binding::super

typedef for TraverserOrBuilder< Derived >

type mcrl2::core::add_binding::variable_type

typedef for Variable

Protected attributes

std::multiset<variable_type> mcrl2::core::add_binding::m_bound_variables

Protected member functions

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.

void decrease_bind_count(const variable_type &var)

Remove a variable from 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 increase_bind_count(const variable_type &var)

Add a variable to the multiset of bound variables.

Public member functions

std::multiset<variable_type>::size_type bind_count(const variable_type &v)

Returns the bind count of the variable v.

const std::multiset<variable_type> &bound_variables() const

Returns the bound variables.

bool is_bound(variable_type const &v) const

Returns true if the variable v is bound.