projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aaa1178) | patch
New C++ API: Migrate to Node layer. (#6070)
authorAina Niemetz <aina.niemetz@gmail.com>
Tue, 9 Mar 2021 00:59:35 +0000 (16:59 -0800)
committerGitHub <noreply@github.com>
Tue, 9 Mar 2021 00:59:35 +0000 (16:59 -0800)
commit86ce1c18f8ea7a397a8b12405a196b126e82b648
tree2a0314d82d960157a3427396a29f3bc115646ac2tree
parentaaa11781d257d163cbd8b67c695716a16232f57acommit | diff
New C++ API: Migrate to Node layer. (#6070)

The following items will be added / adressed in subsequent PRs:

* migrate statistics tracking for variables and bound variables

* migrate adding of listeners when variables and bound variables
  are created

* consistent and clean NodeManagerScope handling
  (out of scope for this PR)

* clean up all interfaces to use const references when possible
src/api/cvc4cpp.cpp diff | blob | history
src/api/cvc4cpp.h diff | blob | history
src/expr/expr_manager_template.cpp diff | blob | history
src/expr/node_manager.h diff | blob | history
src/expr/type_checker_template.cpp diff | blob | history