equal
deleted
inserted
replaced
14 |
14 |
15 |
15 |
16 int main() { |
16 int main() { |
17 typedef UndirGraphExtender<ListGraphBase> UndirListGraphBase; |
17 typedef UndirGraphExtender<ListGraphBase> UndirListGraphBase; |
18 |
18 |
19 function_requires< BaseIterableUndirGraphConcept<UndirListGraphBase> >(); |
|
20 |
|
21 typedef IterableUndirGraphExtender< |
19 typedef IterableUndirGraphExtender< |
22 AlterableUndirGraphExtender<UndirListGraphBase> > IterableUndirListGraph; |
20 AlterableUndirGraphExtender<UndirListGraphBase> > IterableUndirListGraph; |
23 |
21 |
24 function_requires< IterableUndirGraphConcept<IterableUndirListGraph> >(); |
22 typedef MappableUndirGraphExtender<IterableUndirListGraph> |
|
23 MappableUndirListGraph; |
|
24 |
|
25 typedef ErasableUndirGraphExtender< |
|
26 ClearableUndirGraphExtender< |
|
27 ExtendableUndirGraphExtender<MappableUndirListGraph> > > Graph; |
|
28 |
|
29 checkConcept<BaseIterableUndirGraphConcept, Graph>(); |
|
30 checkConcept<IterableUndirGraphConcept, Graph>(); |
|
31 checkConcept<MappableUndirGraphConcept, Graph>(); |
|
32 |
|
33 checkConcept<UndirGraph, Graph>(); |
|
34 checkConcept<ErasableUndirGraph, Graph>(); |
25 |
35 |
26 return 0; |
36 return 0; |
27 } |
37 } |