mcrl2/pbes/pbesbddsolve1.h

Include file:

#include "mcrl2/pbes/pbesbddsolve1.h"

Enumerated types

type mcrl2::pbes_system::bdd_granularity

Values:

  • per_pbes

  • per_equation

  • per_summand

Functions

std::vector<data::variable> mcrl2::pbes_system::add_underscore(const std::vector<data::variable> &v)
std::size_t mcrl2::pbes_system::log2_rounded_up(std::size_t n)
void mcrl2::pbes_system::print(const std::string &msg, const bdd &x, const bdd &context)
void mcrl2::pbes_system::print(const std::string &msg, const std::vector<bdd> &x, const bdd &context)
void mcrl2::pbes_system::print(const std::string &msg, const std::map<std::uint32_t, bdd> &m, const bdd &context)