- public abstract class AbstractAction
- 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