mcrl2::pbes_system::bdd::not_¶

Include file:

#include "mcrl2/pbes/bdd.h

class mcrl2::pbes_system::bdd::not_¶

Protected attributes¶

bdd_node mcrl2::pbes_system::bdd::not_::m_operand¶

Public member functions¶

not_(bdd_node operand)¶

const term &operand() const

std::string print(bool after) const override