mcrl2::pbes_system::bdd::term

Include file:

#include "mcrl2/pbes/bdd.h

class mcrl2::pbes_system::bdd::term

Public member functions

virtual std::string print(bool after) const = 0

virtual ~term() = default