Class Summary |
Edge |
An edge is a component of a graph that represents the flow of control
from one node to another. |
Graph |
Class to represent a basic graph, constructed of a set of nodes
connected by directed edges. |
GraphCache |
Abstract base implementation of a disk backed soft memory cache for
graphs produced by the Sofya system. |
GraphCache.CachedGraph |
Container class used to encapsulate a cached graph and its associated
status for passing to external users of the cache. |
Node |
Class to represent a node in a graph. |