mcrl2/process/remove_equations.h

Include file:

#include "mcrl2/process/remove_equations.h"

add your file description here.

Classes

• mcrl2::process::detail::duplicate_equation_removal

Functions

void mcrl2::process::remove_duplicate_equations(process_specification &procspec)

Removes duplicate equations from a process specification, using a bisimulation algorithm.