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, bool reset = true)¶