Add new feature of splitting nodes into Scheduling algorithm and fix some bugs in...
authorjzhou <jzhou>
Wed, 16 Jan 2008 23:46:19 +0000 (23:46 +0000)
committerjzhou <jzhou>
Wed, 16 Jan 2008 23:46:19 +0000 (23:46 +0000)
commit889090703643a3ad93015a6b42d65bdaa847672f
treef44b22ffc9ced63e6046c520ab634ccef40b83bc
parent89959cf2999961cf0b4d850417f0e825cce4ac08
Add new feature of splitting nodes into Scheduling algorithm and fix some bugs in handling probabilities of /new/ edge.
Robust/src/Analysis/Scheduling/ClassNode.java
Robust/src/Analysis/Scheduling/ScheduleAnalysis.java
Robust/src/Analysis/Scheduling/ScheduleEdge.java
Robust/src/Analysis/Scheduling/ScheduleNode.java
Robust/src/Analysis/TaskStateAnalysis/FEdge.java
Robust/src/Analysis/TaskStateAnalysis/FlagState.java