equal
deleted
inserted
replaced
31 map_bits.h \ |
31 map_bits.h \ |
32 iterable_graph_extender.h \ |
32 iterable_graph_extender.h \ |
33 idmappable_graph_extender.h \ |
33 idmappable_graph_extender.h \ |
34 extendable_graph_extender.h \ |
34 extendable_graph_extender.h \ |
35 clearable_graph_extender.h \ |
35 clearable_graph_extender.h \ |
36 erasable_graph_extender.h |
36 erasable_graph_extender.h \ |
|
37 undir_graph_extender.h |
37 |
38 |
38 noinst_HEADERS = \ |
39 noinst_HEADERS = \ |
39 concept/graph.h \ |
40 concept/graph.h \ |
40 concept/graph_component.h \ |
41 concept/graph_component.h \ |
|
42 concept/undir_graph.h \ |
41 concept/sym_graph.h \ |
43 concept/sym_graph.h \ |
42 concept/maps.h \ |
44 concept/maps.h \ |
43 concept/path.h |
45 concept/path.h |