Data.Graph.Inductive.Example
Auxiliary Functions
genUNodes
genLNodes
labUEdges
noEdges
Small Dynamic Graphs
a
b
c
e
loop
ab
abb
dag3
e3
cyc3
g3
g3b
dag4
d1
d3
Small Static Graphs
a'
b'
c'
e'
loop'
ab'
abb'
dag3'
e3'
dag4'
d1'
d3'
Functions to Create (Regular) Graphs
ucycle
star
ucycleM
starM
More Graphs
Dynamic Versions
clr479
clr489
clr486
clr508
clr528
clr595
gr1
kin248
vor
Static Versions
clr479'
clr489'
clr486'
clr508'
clr528'
kin248'
vor'