mcrl2/process/alphabet_reduce.h

Include file:

#include "mcrl2/process/alphabet_reduce.h"

add your file description here.

Classes

  • mcrl2::process::detail::alphabet_push_builder

Functions

void mcrl2::process::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.

Functions

process_expression mcrl2::process::detail::alphabet_reduce(const process_expression &x, std::vector<process_equation> &equations)