mcrl2/pbes/pbesbddsolve1.h

Include file:

#include "mcrl2/pbes/pbesbddsolve1.h"

Classes

• mcrl2::pbes_system::bdd_parity_game
• mcrl2::pbes_system::pbesbddsolve
• mcrl2::pbes_system::pbesbddsolve::variable_manager

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::map<std::uint32_t, bdd> &m, const bdd &context)

void mcrl2::pbes_system::print(const std::string &msg, const std::vector<bdd> &x, const bdd &context)