mcrl2/pbes/pbesbddsolve.h

Include file:

#include "mcrl2/pbes/pbesbddsolve.h"

add your file description here.

Classes

• mcrl2::pbes_system::bdd::bdd_parity_game
• mcrl2::pbes_system::bdd::bdd_sylvan
• mcrl2::pbes_system::bdd::pbesbddsolve

Enumerated types

type mcrl2::pbes_system::bdd::bdd_granularity

Values:

• per_pbes

• per_equation
• per_summand

Functions

std::vector<data::variable> mcrl2::pbes_system::bdd::add_underscore(const std::vector<data::variable> &v)