mcrl2::pbes_system::bdd::imp

Include file:

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

Protected attributes

bdd_node m_left
bdd_node m_right

Public member functions

imp(bdd_node left, bdd_node right)
const term &left() const
std::string print(bool after) const override
const term &right() const