projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7c143dc) | patch
* src/expr/attribute.h: fixed an issue with "const pointer"-valued
authorMorgan Deters <mdeters@gmail.com>
Mon, 22 Feb 2010 20:51:01 +0000 (20:51 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 22 Feb 2010 20:51:01 +0000 (20:51 +0000)
commit3d8fd1dad54c4057384c99bf6857361f29c23d12
tree0111837f0713646af58383b560e9d8c1a9e8afbetree
parent7c143dc5d5a52664a3cecca5226df57269063162commit | diff
* src/expr/attribute.h: fixed an issue with "const pointer"-valued
  attributes.

* src/expr/attribute.h, src/expr/node_manager.h, src/expr/node.h:
  hasAttribute() and getAttribute() are now const member functions.
src/expr/attribute.h diff | blob | history
src/expr/node.h diff | blob | history
src/expr/node_manager.h diff | blob | history