projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 452efb4) | patch
New C++ Api: Clean up usage of internal types in Term. (#6054)
authorAina Niemetz <aina.niemetz@gmail.com>
Thu, 4 Mar 2021 20:07:13 +0000 (12:07 -0800)
committerGitHub <noreply@github.com>
Thu, 4 Mar 2021 20:07:13 +0000 (20:07 +0000)
commit4180569420806f06fdfd7b9ab24f4d3d7724959e
tree04ab2b08a27dabfce42be88fa43f71128dd8ae28tree
parent452efb4bfe87f1628185c8b5c40acf4533c93c46commit | diff
New C++ Api: Clean up usage of internal types in Term. (#6054)

This disables the temporarily available internals of Term.
Note: getExpr() is still available and will be disabled when the API is
      fully converted to Nodes.
src/api/cvc4cpp.cpp diff | blob | history
src/api/cvc4cpp.h diff | blob | history
src/smt/command.cpp diff | blob | history