mcrl2/pbes/pbesbddsolve.h

Include file:

#include "mcrl2/pbes/pbesbddsolve.h"

add your file description here.

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)