Header menu logo B2R2

SerializableGraph Type

Represents a serializable graph. This is not supposed to be used as a graph representation in the middle-end, but rather as a temporary data structure for importing/exporting graphs.

Record fields

Record Field Description

Edges

Full Usage: Edges

Field type: SerializableEdge[]
Field type: SerializableEdge[]

Roots

Full Usage: Roots

Field type: VertexID[]
Field type: VertexID[]

Vertices

Full Usage: Vertices

Field type: SerializableVertex[]
Field type: SerializableVertex[]

Type something to start searching.