mcrl2/process/remove_data_parameters.h

Include file:

#include "mcrl2/process/remove_data_parameters.h"

add your file description here.

Classes

• mcrl2::process::detail::remove_data_parameters_builder

Functions

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