Class GraphImplementation2

java.lang.Object
  |
  +--GraphImplementation
        |
        +--GraphImplementation2

public class GraphImplementation2

extends GraphImplementation

Constructor Summary

GraphImplementation2(java.util.LinkedList inputs)

Method Summary

boolean	scanAndSolveDeadlocksImp(Program pnew, Program pold, SafetySpecification spec, Invariant inv)
void	solveDeadlocksImp(Program pnew, Program pold, SafetySpecification spec, Invariant inv)

Methods inherited from class GraphImplementation

analyzeImp, breakCycle, closeDebugFile, containsInvariantImp, detectCycle, detectNonProgressCycle, dfs_detectCycle, emptyHashTable, expandImp, getNumStates, getState, getStates, identify_msImp, markInvariantStatesImp, printHashTable, printImp, printInvariant, printViolatingTransitions, recomputeFaultSpanImp, removeAnInvariantStateImp, removeAStateImp, removeFirstViolatingProgramTransitionImp, removeViolatingProgramTransitionsImp

Methods inherited from class java.lang.Object

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

Constructor Detail

GraphImplementation2

public GraphImplementation2(java.util.LinkedList inputs)

Method Detail

solveDeadlocksImp

public void solveDeadlocksImp(Program pnew,
                              Program pold,
                              SafetySpecification spec,
                              Invariant inv)

Overrides:

solveDeadlocksImp in class GraphImplementation

scanAndSolveDeadlocksImp

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

Overrides:

scanAndSolveDeadlocksImp in class GraphImplementation