Line data    Source code

       1             : // Copyright (c) 2009-2013 University of Twente
       2             : // Copyright (c) 2009-2013 Michael Weber <michaelw@cs.utwente.nl>
       3             : // Copyright (c) 2009-2013 Maks Verver <maksverver@geocities.com>
       4             : // Copyright (c) 2009-2013 Eindhoven University of Technology
       5             : //
       6             : // Distributed under the Boost Software License, Version 1.0.
       7             : // (See accompanying file LICENSE_1_0.txt or copy at
       8             : // http://www.boost.org/LICENSE_1_0.txt)
       9             : 
      10             : #include "mcrl2/pg/ParityGameSolver.h"
      11             : 
      12           0 : void merge_strategies( std::vector<verti> &strategy,
      13             :                        const std::vector<verti> &substrat,
      14             :                        const std::vector<verti> &vertex_map )
      15             : {
      16           0 :     assert(substrat.size() == vertex_map.size());
      17           0 :     for (verti v = 0; v < (verti)vertex_map.size(); ++v)
      18             :     {
      19           0 :         strategy[vertex_map[v]] =
      20           0 :             (substrat[v] == NO_VERTEX) ? NO_VERTEX : vertex_map[substrat[v]];
      21             :     }
      22           0 : }