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'