projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4ab6323) | patch
Modifying getType to use a non-recursive algorithm (Fixes: #228)
authorChristopher L. Conway <christopherleeconway@gmail.com>
Wed, 27 Oct 2010 20:10:12 +0000 (20:10 +0000)
committerChristopher L. Conway <christopherleeconway@gmail.com>
Wed, 27 Oct 2010 20:10:12 +0000 (20:10 +0000)
commit8e0be63829441a042ff030b47fa9b9a04b48984d
tree1ac7df877c8c5c9687f8a715661c6c2ed1478106tree
parent4ab6323f8e5c8806ad02fc0f8417cf13b38cf350commit | diff
Modifying getType to use a non-recursive algorithm (Fixes: #228)
src/expr/node_manager.cpp diff | blob | history
src/expr/node_manager.h diff | blob | history