Function rewriteEdges

rewriteEdges(
graph: RewriteGraph,
productions: readonly EdgeRewriteProduction[],
): RewriteGraph
Replaces every matching edge in parallel using entry/exit contact nodes.
Parameters
- graph: RewriteGraph
- productions: readonly EdgeRewriteProduction[]
Returns RewriteGraph

Remarks
This implements the edge-rewriting distinction in Chapter 1, Section 1.4.1 without coupling it to a turtle.
- Defined in core/graph-rewriting.ts:81