diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-03-09 10:00:47 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-09 10:00:47 -0800 |
commit | 1b180f87266ffa206da1d5b772816b80e7f97c14 (patch) | |
tree | 576e7ba2676ba24967d0acfb7a397fb89154a84d /src/api/cvc4cpp.h | |
parent | a32ca56f7d1bc384cd93f612d4db7fdc05d113d6 (diff) |
New C++ API: Reorder and clean up cpp file. (#6086)
Diffstat (limited to 'src/api/cvc4cpp.h')
-rw-r--r-- | src/api/cvc4cpp.h | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/api/cvc4cpp.h b/src/api/cvc4cpp.h index 382ffff95..1d6367b31 100644 --- a/src/api/cvc4cpp.h +++ b/src/api/cvc4cpp.h @@ -3549,6 +3549,7 @@ class CVC4_PUBLIC Solver private: /** @return the node manager of this solver */ NodeManager* getNodeManager(void) const; + /** Helper to check for API misuse in mkOp functions. */ void checkMkTerm(Kind kind, uint32_t nchildren) const; /** Helper for mk-functions that call d_nodeMgr->mkConst(). */ @@ -3567,8 +3568,6 @@ class CVC4_PUBLIC Solver uint32_t base) const; /** Helper for mkBitVector functions that take an integer as argument. */ Term mkBVFromIntHelper(uint32_t size, uint64_t val) const; - /** Helper for setLogic. */ - void setLogicHelper(const std::string& logic) const; /** Helper for mkTerm functions that create Term from a Kind */ Term mkTermFromKind(Kind kind) const; /** Helper for mkChar functions that take a string as argument. */ @@ -3628,7 +3627,7 @@ class CVC4_PUBLIC Solver bool isInv = false, Grammar* g = nullptr) const; - /** check whether string s is a valid decimal integer */ + /** Check whether string s is a valid decimal integer. */ bool isValidInteger(const std::string& s) const; /** The node manager of this solver. */ |