@graphty/graphty-element / session / RepeatedEdgeCounts
Interface: RepeatedEdgeCounts ​
Defined in: graphty-element/src/data/report.ts:17
How many repeated edges a load saw, and what the policy did with them.
Properties ​
dropped ​
readonlydropped:number
Defined in: graphty-element/src/data/report.ts:23
Repeats discarded without changing the edge already present.
kept ​
readonlykept:number
Defined in: graphty-element/src/data/report.ts:21
Repeats that became an edge of their own, which is every one of them under keep.
merged ​
readonlymerged:number
Defined in: graphty-element/src/data/report.ts:25
Repeats folded into the edge already present -- its weight, its attributes, or both.
seen ​
readonlyseen:number
Defined in: graphty-element/src/data/report.ts:19
Records that named an ordered pair the graph already held.