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'