Interface EdgeRewriteProduction

Edge-replacement production.

interface EdgeRewriteProduction {
    id: string;
    predecessorLabel: string;
    replacement: GraphReplacement;
}

Index

Properties

id predecessorLabel replacement

Properties

`Readonly`id

id: string

`Readonly`predecessorLabel

predecessorLabel: string

`Readonly`replacement

replacement: GraphReplacement