projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a7c74db) | patch
model: move bookkeeping to add_action_to_lists()
authorBrian Norris <banorris@uci.edu>
Mon, 28 May 2012 19:58:56 +0000 (12:58 -0700)
committerBrian Norris <banorris@uci.edu>
Mon, 28 May 2012 19:58:56 +0000 (12:58 -0700)
commit551ed6f7408e5376b3ea355997e378a1f2387e69
treee740c0807e3fbb47a5d9d19e4813bf49860fd959tree | snapshot
parenta7c74db9679fc8ea70f1e14eda1ab2cee6f27740commit | diff
model: move bookkeeping to add_action_to_lists()

I keep a lot of bookkeeping info for efficiently locating ModelActions (e.g.,
in lists, maps, vectors). Let's just perform the dirty calculations in a single
function to help separate logical functions a little better.
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker