Skip to content

@graphty/graphty-element / catalog / GraphListing

Interface: GraphListing ​

Defined in: graph-io/dist/src/types.d.ts:191

One graph of an input that can hold several, as an importer's listGraphs() describes it.

Properties ​

edges ​

readonly edges: number | null

Defined in: graph-io/dist/src/types.d.ts:199

The edge count when the input states it cheaply, else null.


index ​

readonly index: number

Defined in: graph-io/dist/src/types.d.ts:193

The value graphIndex takes to read it.


name ​

readonly name: string | null

Defined in: graph-io/dist/src/types.d.ts:195

The value graphName takes to read it, or null when the graph has no name.


nodes ​

readonly nodes: number | null

Defined in: graph-io/dist/src/types.d.ts:197

The node count when the input states it cheaply, else null.