mcrl2::pbes_system::branching_simulation_equivalence_algorithm

Include file:

#include "mcrl2/pbes/bisimulation.h

class mcrl2::pbes_system::branching_simulation_equivalence_algorithm

Algorithm class for branching simulation equivalence.

Public member functions

pbes run(const lps::specification &model, const lps::specification &spec)

Runs the algorithm.

Parameters:

• model A linear process specification
• spec A linear process specification

Returns: A pbes that expresses branching simulation equivalence between two specifications.