diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-11-17 20:19:24 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-17 20:19:24 -0600 |
| commit | 11bc0e4c3147b0fce3033b6a4290d8730aa401ad (patch) | |
| tree | ce273375634b5e9ea3981855f57f693125b6f8cd /src/api/cvc4cpp.h | |
| parent | 990ff24487fd0b6998231894825eb9cd4610494e (diff) | |
Updates to the unit tests, api, and examples for datatypes (#3459)
* Updates to the unit tests, api, and examples for datatypes
* Format
Diffstat (limited to 'src/api/cvc4cpp.h')
| -rw-r--r-- | src/api/cvc4cpp.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/api/cvc4cpp.h b/src/api/cvc4cpp.h index 49c283b75..ad923f866 100644 --- a/src/api/cvc4cpp.h +++ b/src/api/cvc4cpp.h @@ -1022,7 +1022,7 @@ class CVC4_PUBLIC DatatypeConstructorDecl // !!! This is only temporarily available until the parser is fully migrated // to the new API. !!! - CVC4::DatatypeConstructor getDatatypeConstructor(void) const; + const CVC4::DatatypeConstructor& getDatatypeConstructor(void) const; private: /** @@ -1095,7 +1095,7 @@ class CVC4_PUBLIC DatatypeDecl // !!! This is only temporarily available until the parser is fully migrated // to the new API. !!! - CVC4::Datatype getDatatype(void) const; + const CVC4::Datatype& getDatatype(void) const; private: /* The internal (intermediate) datatype wrapped by this datatype @@ -1309,7 +1309,7 @@ class CVC4_PUBLIC DatatypeConstructor // !!! This is only temporarily available until the parser is fully migrated // to the new API. !!! - CVC4::DatatypeConstructor getDatatypeConstructor(void) const; + const CVC4::DatatypeConstructor& getDatatypeConstructor(void) const; private: /** @@ -1461,7 +1461,7 @@ class CVC4_PUBLIC Datatype // !!! This is only temporarily available until the parser is fully migrated // to the new API. !!! - CVC4::Datatype getDatatype(void) const; + const CVC4::Datatype& getDatatype(void) const; private: /** |