ParityGame_impl.h

Go to the documentation of this file.

// Copyright (c) 2009-2013 University of Twente
// Copyright (c) 2009-2013 Michael Weber <michaelw@cs.utwente.nl>
// Copyright (c) 2009-2013 Maks Verver <maksverver@geocities.com>
// Copyright (c) 2009-2013 Eindhoven University of Technology
//
// Distributed under the Boost Software License, Version 1.0.
// (See accompanying file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt)
 
// Don't include this directly; include ParityGame.h instead!
 
#ifndef MCRL2_PG_PARITYGAME_IMPL_H
#define MCRL2_PG_PARITYGAME_IMPL_H
 
#include "mcrl2/pg/ParityGame.h"
 
template<class ForwardIterator>
void ParityGame::make_subgame( const ParityGame &game,
                               ForwardIterator vertices_begin,
                               ForwardIterator vertices_end,
                               bool proper,
                               StaticGraph::EdgeDirection edge_dir )
{
    assert(this != &game);
 
    const verti num_vertices = std::distance(vertices_begin, vertices_end);
    ForwardIterator it;
    verti v;
 
    reset(num_vertices, game.d());
    for (it = vertices_begin, v = 0; v < num_vertices; ++v, ++it)
    {
        vertex_[v] = game.vertex_[*it];
    }
    graph_.make_subgraph(game.graph_, vertices_begin, vertices_end,
                         proper, edge_dir);
    recalculate_cardinalities(num_vertices);
}
 
template<class StrategyT>
ParityGame::Player ParityGame::winner(const StrategyT &s, verti v) const
{
    /* A vertex is won by its player iff the player has a strategy for it: */
    return (s[v] != NO_VERTEX) ? player(v) : opponent(player(v));
}
 
#endif // MCRL2_PG_PARITYGAME_IMPL_H