set temp descriptor for a waiting element.
authoryeom <yeom>
Fri, 9 Apr 2010 17:56:36 +0000 (17:56 +0000)
committeryeom <yeom>
Fri, 9 Apr 2010 17:56:36 +0000 (17:56 +0000)
commit9219cffeff4156a18c3202f5f89b4850aa0c6798
treebb9eb4e174478fe21a45423267d4ef58b74f3ac4
parentcee554294359a867028fcfe8974baa759e102615
set temp descriptor for a waiting element.
Robust/src/Analysis/MLP/ConflictGraph.java