---

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

Go to the documentation of this file.

// -*- Mode: C++ -*-
//      CVS: $Id: PlasmaPlannerListener.hh,v 1.3 2005/07/21 23:11:03 rijsman Exp $
//      Tag: $name$
//     Info: $CVSROOT/Copyright.txt
#ifndef PLASME_PLANNER_LISTENER_HEADER_
#define PLASME_PLANNER_LISTENER_HEADER_

#include "DecisionManagerListener.hh"
#include "Token.hh"

namespace IDEA
{
  class PslDatabase;

  class PlasmaDecisionManagerListener:
    public EUROPA::DecisionManagerListener
  {
  public:
    PlasmaDecisionManagerListener( const PslDatabase* db, const EUROPA::DecisionManagerId& id );

    void notifyRetractSucceeded(const EUROPA::DecisionPointId& dec);
    void notifyAssignNextSucceeded(const EUROPA::DecisionPointId& dec);
    void notifyAssignCurrentSucceeded(const EUROPA::DecisionPointId& dec);
    void notifyAssignNextFailed(const EUROPA::DecisionPointId& dec);
    void notifyAssignCurrentFailed(const EUROPA::DecisionPointId& dec);
  private:
    void report(const EUROPA::DecisionPointId& dec, std::ostream& os ) const;

    void report( const EUROPA::ConstrainedVariableId& variableId, std::ostream& os ) const;
    
    void report( const EUROPA::TokenId& tokenId, std::ostream& os ) const;

    const PslDatabase* m_Database;
  };
}

#endif // PLASME_PLANNER_LISTENER_HEADER_
 

---

Contact information © IDEA