mcrl2::pbes_system::bdd::not_

Include file:

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

Protected attributes

bdd_node m_operand

Public member functions

not_(bdd_node operand)
const term &operand() const
std::string print(bool after) const override