projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c88c789) | patch
action: rename 'node' members to 'treenode'
authorBrian Norris <banorris@uci.edu>
Wed, 9 May 2012 06:42:32 +0000 (23:42 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 9 May 2012 06:42:32 +0000 (23:42 -0700)
commitd6132c396ec2037c65e1b72382679a8e98781e29
tree871f1481df8255fa7612612b3b217831b3aaf57atree | snapshot
parentc88c7890c0f409f65fab724b4e2e764c8d95ab2ecommit | diff
action: rename 'node' members to 'treenode'

I am transitioning from class TreeNode to another class (perhaps class
Node?), so rename these members to avoid collision.
action.h diff | blob | history
model.cc diff | blob | history
C++11 memory model checker