mcrl2::pbes_system::bdd::false_

Include file:

#include "mcrl2/pbes/bdd.h

class mcrl2::pbes_system::bdd::false_

Private member functions

std::string print(bool = false) const override