equal
  deleted
  inserted
  replaced
  
    
    
    51     template <typename Key> class DynMapBase  | 
    51     template <typename Key> class DynMapBase  | 
    52     { | 
    52     { | 
    53     protected:  | 
    53     protected:  | 
    54       const SmartGraph* G;   | 
    54       const SmartGraph* G;   | 
    55     public:  | 
    55     public:  | 
    56       virtual void add(const Key k) = NULL;  | 
    56       virtual void add(const Key k) = 0;  | 
    57       virtual void erase(const Key k) = NULL;  | 
    57       virtual void erase(const Key k) = 0;  | 
    58       DynMapBase(const SmartGraph &_G) : G(&_G) {} | 
    58       DynMapBase(const SmartGraph &_G) : G(&_G) {} | 
    59       virtual ~DynMapBase() {} | 
    59       virtual ~DynMapBase() {} | 
    60       friend class SmartGraph;  | 
    60       friend class SmartGraph;  | 
    61     };  | 
    61     };  | 
    62       | 
    62       |