Graph Pattern Matching

• Graph.scala fixed label type LabelType, node-labelled directed graphs where children are stored in immutable adjacency sets.
• mutable.Graph.scala generic label type [TLabel], node-labelled directed graphs where children are stored in mutable adjacency sets.
• mutable.MGraph.scala generic label type [TLabel], node-labelled and edge labelled directed graphs where children are stored in mutable adjacency sets.

Pattern Matcher	Graph (parent refs)	Graph	mutable.Graph	mutable.Graph (CAR)	mutable.MGraph	mutable.MGraph (CAR)
Graph Simulation	- No need for parent refs	GraphSim2.scala	mutable.GraphSim.scala	mutable.GraphSim.scala	mutable.GraphSimCAR.scala	mutable.MGraphSim.scala	mutable.MGraphSimCAR.scala
Dual Simulation	DualSim.scala	DualSim2.scala	mutable.DualSim.scala	mutable.DualSimCAR.scala	mutable.MDualSim.scala	mutable.MDualSimCAR.scala
Strict Simulation	StrictSim.scala	StrictSim2.scala	mutable.StrictSim.scala	mutable.StrictSimCAR.scala	mutable.MStrictSim.scala	mutable.MStrictSimCAR.scala
Tight Simulation	TightSim.scala	TightSim2.scala	mutable.TightSim.scala	mutable.TightSimCAR.scala	mutable.MTightSim.scala	mutable.MStrictSimCAR.scala
Subgraph Isomorphism
- using Graph Simulation	GraphSimIso.scala	-	-	-
- using Dual Simulation	-	DualIso.scala	mutable.DualIso.scala	mutable.MDualIso.scala