Swish.GraphMatch

graphMatch

# Exported for testing

type LabelMap lb

data GenLabelMap lb lv

type LabelEntry lb

data GenLabelEntry lb lv

data ScopedLabel lb

makeScopedLabel

makeScopedArc

type LabelIndex

type EquivalenceClass lb

nullLabelVal

emptyMap

labelIsVar

labelHash

mapLabelIndex

setLabelHash

newLabelMap

graphLabels

assignLabelMap

newGenerationMap

graphMatch1

graphMatch2

equivalenceClasses

reclassify