mcrl2/process/alphabet_reduce.h

Include file:

#include "mcrl2/process/alphabet_reduce.h"

add your file description here.

Functions

void alphabet_reduce(process_specification &procspec, std::size_t duplicate_equation_limit = (std::numeric_limits<size_t>::max)())

Applies alphabet reduction to a process specification.

Parameters:

  • procspec A process specification

  • duplicate_equation_limit If the number of equations is less than duplicate_equation_limit, the remove duplicate equations procedure is applied. Note that this procedure is not efficient, so it should not be used if the number of equations is big.