- public class DeadlockResolver1
- extends DeadlockResolver
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 DeadlockResolver1(GraphImplementation gr,
- Creates new DeadlockResolver1
public void Resolve()
- Resolve in class DeadlockResolver
public boolean scanAndSolve(Program pnew,
- scanAndSolve in class DeadlockResolver