nodestack: create ModelAction clock vectors
authorBrian Norris <banorris@uci.edu>
Sat, 26 May 2012 02:16:06 +0000 (19:16 -0700)
committerBrian Norris <banorris@uci.edu>
Sat, 26 May 2012 03:39:00 +0000 (20:39 -0700)
commitbadfcf21c3b782bee736e936132e3c6873859053
treec21d253c5de66f23c400d9d044f197e67cfa2186
parent1a75079a60d2788bad4ee82378182abcfade51c8
nodestack: create ModelAction clock vectors

Only create the clock vector if the ModelAction will be retained in our
nodestack, and hence will be used for synchronization, etc.
nodestack.cc