lemon/elevator.h
changeset 507 d9e43511d11c
parent 440 88ed40ad0d4f
child 550 c5fd2d996909
equal deleted inserted replaced
5:1bae22689c84 6:5aae4055886e
    25 ///
    25 ///
    26 ///Elevator class implements an efficient data structure
    26 ///Elevator class implements an efficient data structure
    27 ///for labeling items in push-relabel type algorithms.
    27 ///for labeling items in push-relabel type algorithms.
    28 ///
    28 ///
    29 
    29 
       
    30 #include <lemon/core.h>
    30 #include <lemon/bits/traits.h>
    31 #include <lemon/bits/traits.h>
    31 
    32 
    32 namespace lemon {
    33 namespace lemon {
    33 
    34 
    34   ///Class for handling "labels" in push-relabel type algorithms.
    35   ///Class for handling "labels" in push-relabel type algorithms.