mcrl2::pbes_system::bdd::variable

Include file:

#include "mcrl2/pbes/bdd.h
class mcrl2::pbes_system::bdd::variable

Protected attributes

std::string mcrl2::pbes_system::bdd::variable::m_name

Public member functions

std::string print(bool after) const override
variable(const std::string &name)