---

/home/pauldt/projects/IDEA/IDEA-ALL/IDEA-DEV/Modules/PLASMA/ReactivePlanner/Includes/PlasmaReactivePlannerImpl.hh

Go to the documentation of this file.

// -*- Mode: C++ -*-
//      CVS: $Id: PlasmaReactivePlannerImpl.hh,v 1.18 2005/12/30 22:42:30 rijsman Exp $
//      Tag: $name$
//     Info: $CVSROOT/Copyright.txt

#ifndef PLASMA_REACTIVEPLANNER_IMPLEMENTATION_HEADER_
#define PLASMA_REACTIVEPLANNER_IMPLEMENTATION_HEADER_

#include "StatusTypes.hh"
#include "Utilities.hh"


#include "ReactivePlannerImpl.hh"

#include "CBPlanner.hh"
#include "Horizon.hh"
#include "DecisionManagerListener.hh"

namespace IDEA
{
  class PslDatabase;
  class PslToken;

  class PlasmaReactivePlannerImpl:
    public ReactivePlannerImpl
  {
  public:
    PlasmaReactivePlannerImpl( const std::string& name, 
                               const PslDatabase* database, 
                               const AgentTimingService* ats,
                               const std::string& heuristicFile, 
                               bool readHeuristicsFile,
                               const std::string& noBranchFile,
                               bool readNoBranchFile );

    ~PlasmaReactivePlannerImpl();
  private:
    void getFutureTokens( const PslTimeline* timeline, 
                          PslTokenList& tokensExecuting,
                          PslTokenList& tokensInTheFuture ) const;
    StatusType free( const PslToken* pslTok );
    StatusType relax( const PslToken* pslTok );
  };
}

#endif // REACTIVEPLANNER_IMPLEMENTATION_HEADER_

---

Contact information © IDEA