Interface ISDG

All Superinterfaces:
EdgeManager<Statement>, Graph<Statement>, IClassHierarchyDweller, Iterable<Statement>, NodeManager<Statement>, NumberedEdgeManager<Statement>, NumberedGraph<Statement>, NumberedNodeManager<Statement>
All Known Implementing Classes:
CISDG, SDG

public interface ISDG extends NumberedGraph<Statement>, IClassHierarchyDweller
Interface for an SDG (loosely defined here as a graph of Statements. This interface implies that the underlying graph is computed lazily on demand.