equal
deleted
inserted
replaced
110 class TrickyReachedMap { |
110 class TrickyReachedMap { |
111 protected: |
111 protected: |
112 IntMap* map; |
112 IntMap* map; |
113 int* number_of_augmentations; |
113 int* number_of_augmentations; |
114 public: |
114 public: |
115 typedef Node KeyType; |
115 typedef Node Key; |
116 typedef bool ValueType; |
116 typedef bool Value; |
117 TrickyReachedMap(IntMap& _map, int& _number_of_augmentations) : |
117 TrickyReachedMap(IntMap& _map, int& _number_of_augmentations) : |
118 map(&_map), number_of_augmentations(&_number_of_augmentations) { } |
118 map(&_map), number_of_augmentations(&_number_of_augmentations) { } |
119 void set(const Node& n, bool b) { |
119 void set(const Node& n, bool b) { |
120 if (b) |
120 if (b) |
121 map->set(n, *number_of_augmentations); |
121 map->set(n, *number_of_augmentations); |