()
| 718 | } |
| 719 | |
| 720 | public toJSON() { |
| 721 | return { |
| 722 | "@type": "Graph" as const, |
| 723 | vertices: Array.from(this.getVertices(), (v) => v.toJSON()), |
| 724 | edges: Array.from(this.getEdges(), (e) => e.toJSON()), |
| 725 | }; |
| 726 | } |
| 727 | } |
| 728 | |
| 729 | export const $StoredElement = Symbol("$StoredElement"); |
nothing calls this directly
no test coverage detected