---

/home/pauldt/projects/IDEA/IDEA-ALL/IDEA-DEV/Modules/PLASMA/Planner/Includes/PlasmaPlannerFactory.hh

Go to the documentation of this file.

// -*- Mode: C++ -*-
//      CVS: $Id: PlasmaPlannerFactory.hh,v 1.3 2005/12/30 22:43:02 rijsman Exp $
//      Tag: $name$
//     Info: $CVSROOT/IDEA-DEV/COPYRIGHT

#ifndef PLASMA_PLANNER_FACTORY_HEADER_
#define PLASMA_PLANNER_FACTORY_HEADER_

#include "PlannerFactory.hh"

namespace IDEA
{
 class PlasmaPlannerFactory: 
    public PlannerFactory
  {
  public:
    PlasmaPlannerFactory();
    PlannerImpl* createPlannerImpl( const PslDatabase* db, 
                                    const AgentTimingService* ats,
                                    const std::string& name, 
                                    const std::string& heuristicsFile, 
                                    bool readHeuristicsFile,
                                    const std::string& nobranchFile,
                                    bool readNoBranchFile) const;
  };
}

#endif //PLASMA_PLANNER_FACTORY_HEADER_

---

Contact information © IDEA