efgciter.h

Gambit 是一个游戏库理论软件

//
// $Source: /home/gambit/CVS/gambit/sources/game/efgciter.h,v $
// $Date: 2002/08/26 05:50:06 $
// $Revision: 1.4 $
//
// DESCRIPTION:
// Contingency iterator class for extensive forms
//
// This file is part of Gambit
// Copyright (c) 2002, The Gambit Project
//
// This program is free software; you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation; either version 2 of the License, or
// (at your option) any later version.
//
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public License
// along with this program; if not, write to the Free Software
// Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
//

#ifndef EFGCITER_H
#define EFGCITER_H

#include "base/base.h"

#include "efg.h"
#include "efstrat.h"

class EfgIter;

//
// N.B.: Currently, the contingency iterator only allows one information
//       set to be "frozen".  There is a list of "active" information
//       sets, which are those whose actions are cycled over, the idea
//       being that behavior at inactive information sets is irrelevant.
//
//       Iterating across all contingencies can be achieved by freezing
//       player number 0 (this is the default state on initialization)
//
class EfgContIter    {
  friend class EfgIter;
  private:
    int _frozen_pl, _frozen_iset;
    const efgGame *_efg;
    EFSupport _support;
    PureBehavProfile<gNumber> _profile;
    gPVector<int> _current;
    gBlock<gBlock<bool> > _is_active;
    gBlock<int> _num_active_infosets;
    mutable gVector<gNumber> _payoff;

  public:
    EfgContIter(const EFSupport &);
    EfgContIter(const EFSupport &, const gList<Infoset *> &);
    ~EfgContIter();
  
    void First(void);
  
    void Freeze(int pl, int iset);
  
  // These next two only work on frozen infosets
    void Set(int pl, int iset, int act);
    void Set(const Action *a);
    int Next(int pl, int iset);
  
    const PureBehavProfile<gNumber> &GetProfile(void) const   
      { return _profile; }

    int NextContingency(void);
  
    gNumber Payoff(int pl) const;
  
    void Dump(gOutput &) const;
};

// The following class is like the above, but intended for iteration
// over contingencies that are relevant once a particular node 
// has been reached.
class EfgConditionalContIter    {
  friend class EfgIter;
  private:
    const efgGame *_efg;
    EFSupport _support;
    PureBehavProfile<gNumber> _profile;
    gPVector<int> _current;
    gBlock<gBlock<bool> > _is_active;
    gBlock<int> _num_active_infosets;
    mutable gVector<gNumber> _payoff;

  public:
    EfgConditionalContIter(const EFSupport &);
    EfgConditionalContIter(const EFSupport &, const gList<Infoset *> &);
    ~EfgConditionalContIter();
  
    void First(void); // Sets each infoset's action to the first in the support
  
    void Set(int pl, int iset, int act);
    void Set(const Action *a);
    int Next(int pl, int iset); 
  
    const PureBehavProfile<gNumber> &GetProfile(void) const   
      { return _profile; }

    int NextContingency(void);   // Needs rewriting
  
    gNumber Payoff(int pl) const;
    gNumber Payoff(const Node *, int pl) const;
  
    void Dump(gOutput &) const;
};

#endif   // EFGCITER_H