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 : // Don't include this directly; include ParityGameSolver.h instead! 11 : 12 : #ifndef MCRL2_PG_PARITYGAME_SOLVER_IMPL_H 13 : #define MCRL2_PG_PARITYGAME_SOLVER_IMPL_H 14 : 15 : #include "mcrl2/pg/ParityGameSolver.h" 16 : 17 : template<class ForwardIterator> 18 0 : void merge_vertex_maps( ForwardIterator begin, ForwardIterator end, 19 : const verti *old_map, verti old_map_size ) 20 : { 21 0 : while (begin != end) 22 : { 23 0 : verti &v = *begin++; 24 0 : v = (v < old_map_size) ? old_map[v] : NO_VERTEX; 25 : } 26 0 : } 27 : 28 : #endif // MCRL2_PG_PARITYGAME_SOLVER_IMPL_H