: Class GraphImplementation1

Class

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: INNER | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

Class GraphImplementation1

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

public class GraphImplementation1
extends GraphImplementation

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
`GraphImplementation1(java.util.LinkedList list)`

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, 
scanAndSolveDeadlocksImp, 
solveDeadlocksImp

Methods inherited from class java.lang.Object

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

Constructor Detail

GraphImplementation1

public GraphImplementation1(java.util.LinkedList list)