projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 92c74d0) | patch
model: add accessors for ModelAction variables
authorBrian Norris <banorris@uci.edu>
Thu, 19 Apr 2012 17:58:31 +0000 (10:58 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 19 Apr 2012 17:58:31 +0000 (10:58 -0700)
commitf69627bb829fdf0c601de820c4418d30edb41d57
tree8dced065e9e0f81c8432b9f723ddd00488a06720tree | snapshot
parent92c74d06dcde4d3cfc8d3ba9c59f5b7266e1addfcommit | diff
model: add accessors for ModelAction variables

(+ add 'node' member, pointing to the state-space tree just before the action)
model.h diff | blob | history
C++11 memory model checker