- Direct Known Subclasses:
- DeadlockResolver1, DeadlockResolver2
- public abstract class DeadlockResolver
- 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
public abstract void Resolve()
public abstract boolean scanAndSolve(Program pn,