equal
deleted
inserted
replaced
1 // -*- C++ -*- // |
1 // -*- C++ -*- // |
2 |
2 |
3 #ifndef HUGO_CONTRACT_WRAPPER |
3 #ifndef LEMON_CONTRACT_WRAPPER |
4 #define HUGO_CONTRACT_WRAPPER |
4 #define LEMON_CONTRACT_WRAPPER |
5 |
5 |
6 #include <graph_wrapper.h> |
6 #include <graph_wrapper.h> |
7 |
7 |
8 namespace hugo { |
8 namespace lemon { |
9 |
9 |
10 template<typename Graph> |
10 template<typename Graph> |
11 class ConractWrapper : public GraphWrapper<const Graph> { |
11 class ConractWrapper : public GraphWrapper<const Graph> { |
12 |
12 |
13 public: |
13 public: |