Class DeadlockResolver2

java.lang.Object
  |
  +--DeadlockResolver
        |
        +--DeadlockResolver2

public class DeadlockResolver2

extends DeadlockResolver

Constructor Summary

DeadlockResolver2(GraphImplementation gr, Program pn, Program po, SafetySpecification sp, Invariant in)
Creates new DeadlockResolver1

Method Summary

boolean	hasCycles()
void	Resolve()
void	resolveCycles()
boolean	scanAndSolve(Program pnew, Program pold, SafetySpecification spec, Invariant inv)

Methods inherited from class java.lang.Object

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

Constructor Detail

DeadlockResolver2

public DeadlockResolver2(GraphImplementation gr,
                         Program pn,
                         Program po,
                         SafetySpecification sp,
                         Invariant in)

Creates new DeadlockResolver1

Method Detail

Resolve

public void Resolve()

Overrides:

Resolve in class DeadlockResolver

scanAndSolve

public boolean scanAndSolve(Program pnew,
                            Program pold,
                            SafetySpecification spec,
                            Invariant inv)

Overrides:

scanAndSolve in class DeadlockResolver

resolveCycles

public void resolveCycles()

hasCycles

public boolean hasCycles()