mcrl2::pbes_system::bdd::and_¶

Include file:

#include "mcrl2/pbes/bdd.h

class mcrl2::pbes_system::bdd::and_¶

Protected attributes¶

bdd_node mcrl2::pbes_system::bdd::and_::m_left¶

bdd_node mcrl2::pbes_system::bdd::and_::m_right¶

Public member functions¶

and_(bdd_node left, bdd_node right)¶

const term &left() const

std::string print(bool after) const override¶

const term &right() const