projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 81cf94d) | patch
New C++ API: Clean up usage of internal types in Op. (#6045)
authorAina Niemetz <aina.niemetz@gmail.com>
Thu, 4 Mar 2021 01:17:17 +0000 (17:17 -0800)
committerGitHub <noreply@github.com>
Thu, 4 Mar 2021 01:17:17 +0000 (17:17 -0800)
commit27d6a284f34ff787882a952572519233ec12b939
treebed5405a5446dd9c3f86a5c10543ba6fe512a381tree
parent81cf94dc266f41d7fa10098154fcb233a20d9f43commit | diff
New C++ API: Clean up usage of internal types in Op. (#6045)

This disables the temporarily available internals of Op.
src/api/cvc4cpp.cpp diff | blob | history
src/api/cvc4cpp.h diff | blob | history
test/unit/api/CMakeLists.txt diff | blob | history
test/unit/api/op_black.cpp diff | blob | history
test/unit/api/op_white.cpp [new file with mode: 0644] blob
test/unit/api/solver_black.cpp diff | blob | history
test/unit/api/solver_white.cpp [new file with mode: 0644] blob
test/unit/api/term_black.cpp diff | blob | history
test/unit/api/term_white.cpp [new file with mode: 0644] blob