tools/lgf-gen.cc
changeset 633 7c12061bd271
parent 571 06e0fb20a97c
child 631 33c6b6e755cd
equal deleted inserted replaced
1:3df5f3e30566 2:ab2d22d57d0e
    30 ///
    30 ///
    31 
    31 
    32 
    32 
    33 #include <algorithm>
    33 #include <algorithm>
    34 #include <set>
    34 #include <set>
       
    35 #include <ctime>
    35 #include <lemon/list_graph.h>
    36 #include <lemon/list_graph.h>
    36 #include <lemon/random.h>
    37 #include <lemon/random.h>
    37 #include <lemon/dim2.h>
    38 #include <lemon/dim2.h>
    38 #include <lemon/bfs.h>
    39 #include <lemon/bfs.h>
    39 #include <lemon/counter.h>
    40 #include <lemon/counter.h>