mcrl2/pbes/unify_parameters.h

Include file:

#include "mcrl2/pbes/unify_parameters.h"

add your file description here.

Classes

  • mcrl2::pbes_system::unify_parameters_replace_function

Functions

void mcrl2::pbes_system::unify_parameters(pbes &p)
void mcrl2::pbes_system::unify_parameters(srf_pbes &p)