projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 33b96c6) | patch
New C++ API: Remove redundant API functions for mkReal. (#4870)
authorAina Niemetz <aina.niemetz@gmail.com>
Tue, 11 Aug 2020 19:58:28 +0000 (12:58 -0700)
committerGitHub <noreply@github.com>
Tue, 11 Aug 2020 19:58:28 +0000 (12:58 -0700)
commit1c859fd0f43fa2081bdb247423e81d9174a5f474
tree604dfd4d7994250f78520a7adf819eb0a0d1a828tree
parent33b96c656515f9634ec97b021da8da5dee2b9bcdcommit | diff
New C++ API: Remove redundant API functions for mkReal. (#4870)

This further removes redundant API functions with a `const char*`
parameter. These are redundant (and can create ambiguity) since they
have `const string&` counterparts.
src/api/cvc4cpp.cpp diff | blob | history
src/api/cvc4cpp.h diff | blob | history
test/unit/api/solver_black.h diff | blob | history