mcrl2::pbes_system::pbesbddsolve::variable_manager
===============================================================================

.. cpp:class:: mcrl2::pbes_system::pbesbddsolve::variable_manager

  

  

Private attributes
-------------------------------------------------------------------------------

.. cpp:member:: std::map< std::string, std::size_t > mcrl2::pbes_system::pbesbddsolve::variable_manager::m_variable_index
  
  

  

.. cpp:member:: std::vector< bdd > mcrl2::pbes_system::pbesbddsolve::variable_manager::m_variables
  
  

  

Public member functions
-------------------------------------------------------------------------------

.. cpp:function:: std::pair<bdd, std::size_t> add(const std::string &name)
  
  

  

.. cpp:function:: const bdd& variable(const std::string &name) const