internal: Variables used for internal purposes

Description Author(s)

Description

The nullgraphID variable is used to store a default identifier. This should not be used by users.

Author(s)

Saikat DebRoy


graph documentation built on Nov. 8, 2020, 6:02 p.m.