mcrl2/process/merge_action_specifications.h

Include file:

#include "mcrl2/process/merge_action_specifications.h"

add your file description here.

Functions

action_label_list mcrl2::process::merge_action_specifications(const action_label_list &actspec1, const action_label_list &actspec2)

Merges two action specifications.