Class SDG<T extends InstanceKey>

All Implemented Interfaces:
IClassHierarchyDweller, ISDG, EdgeManager<Statement>, Graph<Statement>, NodeManager<Statement>, NumberedEdgeManager<Statement>, NumberedGraph<Statement>, NumberedNodeManager<Statement>, Iterable<Statement>

public class SDG<T extends InstanceKey> extends AbstractNumberedGraph<Statement> implements ISDG
System dependence graph.

An SDG comprises a set of PDGs, one for each method. We compute these lazily.

Prototype implementation. Not efficient.