src/work/johanna/contract_wrapper.h
changeset 1305 c3dc75d4af24
parent 394 3a34c5626e52
equal deleted inserted replaced
0:bac6d2151dad 1:627f1e9a81fb
     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: