Graph.hpp

/* $Id$ */

#ifndef _SPAF_GRAPH_GRAPH_HPP_
#define _SPAF_GRAPH_GRAPH_HPP_

#include <string>
#include <list>

#include "spafgraph/Node.hpp"

namespace jafar {
  namespace spafgraph {
    class Graph : public Node {
      public:
        Graph();
        ~Graph();
      public:
        std::string toDot() const;
        Node* createNode( spaf::Feature* feature, Node* parent );
        const std::list<Node*>& nodes() const;
        Node* nodeFor( const spaf::Feature* feature );
        void removeNode( Node* n );
      private:
        void appendNode( Node* n );
        std::string edgeToDot( const Edge* edge) const;
        std::string nodeToDot( const Node* node) const;
      private:
        struct Private;
        Private* const d;
    };
  }
}

#endif