*Fixed duplicate edges in TaskGraph
authorsivaji <sivaji>
Tue, 22 May 2007 18:17:19 +0000 (18:17 +0000)
committersivaji <sivaji>
Tue, 22 May 2007 18:17:19 +0000 (18:17 +0000)
commitdb4be920e5f3f9785aae8508b2a68b84963531a7
tree5c58528ce7ab1949e227da33f6205d18216f42d0
parentcb392806cfc44de6874b0c4c1b104ea3bbabafab
*Fixed duplicate edges in TaskGraph
*Added 'isSourceNode' boolean var to FlagState to keep track
of whether it's a start/source node.
*Used 'FlagState.isSourceNode' to add Start Node in TaskGraph.
Robust/src/Analysis/TaskStateAnalysis/FlagState.java
Robust/src/Analysis/TaskStateAnalysis/TEdge.java
Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java
Robust/src/Analysis/TaskStateAnalysis/TaskGraph.java
Robust/src/Analysis/TaskStateAnalysis/TaskNode.java