nodestack: compute parent ModelAction externally
authorBrian Norris <banorris@uci.edu>
Mon, 28 May 2012 19:20:01 +0000 (12:20 -0700)
committerBrian Norris <banorris@uci.edu>
Mon, 28 May 2012 19:54:32 +0000 (12:54 -0700)
commite725e347266a91be41447dba497f57f3b6d5413c
treee7193eb1061d31b0feb70891e5171f0573a92997
parent73cd0247207fb071effa55b9f39e3db711412d96
nodestack: compute parent ModelAction externally

For a particular ModelAction, the 'parent' may be the last action in the
current thread, or otherwise, the action in the parent thread that created the
current thread. This calculation is not suitable for within the NodeStack (and
the current implementation is wrong, taking the last action performed by *any*
thread as the parent). Thus, I set up the method calls to pass the 'parent' to
explore_action() and leave the details to further work.
model.cc
nodestack.cc
nodestack.h