projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3acadd4) | patch
Slightly more efficient version of getType
authorChristopher L. Conway <christopherleeconway@gmail.com>
Wed, 27 Oct 2010 22:53:03 +0000 (22:53 +0000)
committerChristopher L. Conway <christopherleeconway@gmail.com>
Wed, 27 Oct 2010 22:53:03 +0000 (22:53 +0000)
commit40d8482d24cad4d998240f79e9d6a6745cb845c1
tree59edf15471bfabb42f94ed2f7b7e17c89f8e5a8etree
parent3acadd4924eaef5fa31bf8982f52b3b893cf003acommit | diff
Slightly more efficient version of getType
src/expr/node_manager.cpp diff | blob | history