Include file:

#include "mcrl2/data/merge_data_specifications.h"

add your file description here.


data_specification mcrl2::data::merge_data_specifications(const data_specification &dataspec1, const data_specification &dataspec2)

Merges two data specifications. Throws an exception if conflicts are detected.

If the data specifications have equal aliases, types, constructors or functions these are merged.


  • dataspec1 The first data specification to be merged.
  • dataspec2 The second data specification to be merged.

Returns: The merged data specification.