mcrl2::pbes_system::pbesbddsolve::variable_manager¶

class mcrl2::pbes_system::pbesbddsolve::variable_manager¶

Private attributes¶

std::map<std::string, std::size_t> mcrl2::pbes_system::pbesbddsolve::variable_manager::m_variable_index¶

std::vector<bdd> mcrl2::pbes_system::pbesbddsolve::variable_manager::m_variables¶

Public member functions¶

std::pair<bdd, std::size_t> add(const std::string &name)¶

const bdd &variable(const std::string &name) const¶