- Direct Known Subclasses:
- public abstract class ReachabilityGraph_Creator
- extends java.lang.Object
This class models the reachability graph of a program. The reachability graph is a
directed graph that contains all the states of the fault-span of a program.
This class is the root of the abstract class hierarchy in the Bridge design pattern.
|Methods inherited from class java.lang.Object
- Creates new ReachabilityGraph_Creator
public abstract AbstractReachabilityGraph factoryMethod(int i,