LCOV - code coverage report
Current view: top level - pg/include/mcrl2/pg - ParityGameSolver_impl.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 0 5 0.0 %
Date: 2024-03-08 02:52:28 Functions: 0 2 0.0 %
Legend: Lines: hit not hit

          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

Generated by: LCOV version 1.14