Class DeadlockResolver

java.lang.Object
  |
  +--DeadlockResolver

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.

Since:

Constructor Summary

DeadlockResolver()

Method Summary

abstract void	Resolve()
abstract boolean	scanAndSolve(Program pn, Program po, SafetySpecification pspec, Invariant pinv)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DeadlockResolver

public DeadlockResolver()

Method Detail

Resolve

public abstract void Resolve()

scanAndSolve

public abstract boolean scanAndSolve(Program pn,
                                     Program po,
                                     SafetySpecification pspec,
                                     Invariant pinv)