Swish.GraphMatch
graphMatch
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