mcrl2/data/merge_data_specifications.h

Include file:

#include "mcrl2/data/merge_data_specifications.h"

add your file description here.

Functions

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.

Parameters:

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

Returns: The merged data specification.