Include file:
#include "mcrl2/process/alphabet_reduce.h"
add your file description here.
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.