Line data Source code
1 : // Author(s): Wieger Wesselink 2 : // Copyright: see the accompanying file COPYING or copy at 3 : // https://github.com/mCRL2org/mCRL2/blob/master/COPYING 4 : // 5 : // Distributed under the Boost Software License, Version 1.0. 6 : // (See accompanying file LICENSE_1_0.txt or copy at 7 : // http://www.boost.org/LICENSE_1_0.txt) 8 : // 9 : /// \file mcrl2/process/merge_action_specifications.h 10 : /// \brief add your file description here. 11 : 12 : #ifndef MCRL2_PROCESS_MERGE_ACTION_SPECIFICATIONS_H 13 : #define MCRL2_PROCESS_MERGE_ACTION_SPECIFICATIONS_H 14 : 15 : #include "mcrl2/process/action_label.h" 16 : 17 : namespace mcrl2 { 18 : 19 : namespace process { 20 : 21 : /// \brief Merges two action specifications. 22 : inline 23 0 : action_label_list merge_action_specifications(const action_label_list& actspec1, const action_label_list& actspec2) 24 : { 25 0 : std::set<action_label> result; 26 0 : result.insert(actspec1.begin(), actspec1.end()); 27 0 : result.insert(actspec2.begin(), actspec2.end()); 28 0 : return action_label_list(result.begin(), result.end()); 29 0 : } 30 : 31 : } // namespace process 32 : 33 : } // namespace mcrl2 34 : 35 : #endif // MCRL2_PROCESS_MERGE_ACTION_SPECIFICATIONS_H