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 | |
| 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')
| -rw-r--r-- | src/api/cvc4cpp.cpp | 10 | ||||
| -rw-r--r-- | src/api/cvc4cpp.h | 8 |
2 files changed, 9 insertions, 9 deletions
diff --git a/src/api/cvc4cpp.cpp b/src/api/cvc4cpp.cpp index b6bd4777a..4bb772e9d 100644 --- a/src/api/cvc4cpp.cpp +++ b/src/api/cvc4cpp.cpp @@ -1542,8 +1542,8 @@ std::string DatatypeConstructorDecl::toString() const // !!! This is only temporarily available until the parser is fully migrated // to the new API. !!! -CVC4::DatatypeConstructor DatatypeConstructorDecl::getDatatypeConstructor( - void) const +const CVC4::DatatypeConstructor& +DatatypeConstructorDecl::getDatatypeConstructor(void) const { return *d_ctor; } @@ -1613,7 +1613,7 @@ std::string DatatypeDecl::toString() const // !!! This is only temporarily available until the parser is fully migrated // to the new API. !!! -CVC4::Datatype DatatypeDecl::getDatatype(void) const { return *d_dtype; } +const CVC4::Datatype& DatatypeDecl::getDatatype(void) const { return *d_dtype; } std::ostream& operator<<(std::ostream& out, const DatatypeSelectorDecl& stordecl) @@ -1782,7 +1782,7 @@ std::string DatatypeConstructor::toString() const // !!! This is only temporarily available until the parser is fully migrated // to the new API. !!! -CVC4::DatatypeConstructor DatatypeConstructor::getDatatypeConstructor( +const CVC4::DatatypeConstructor& DatatypeConstructor::getDatatypeConstructor( void) const { return *d_ctor; @@ -1850,7 +1850,7 @@ Datatype::const_iterator Datatype::end() const // !!! This is only temporarily available until the parser is fully migrated // to the new API. !!! -CVC4::Datatype Datatype::getDatatype(void) const { return *d_dtype; } +const CVC4::Datatype& Datatype::getDatatype(void) const { return *d_dtype; } Datatype::const_iterator::const_iterator(const CVC4::Datatype& dtype, bool begin) 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: /** |