cvc3 compatibility layer; and another libantlr3c v3.4 incompatibility fix

[cvc5.git] / src / util / datatype.i

diff --git a/src/util/datatype.i b/src/util/datatype.i
index b62033e1796e7edad11b332bf0728bb99f7e8baa..fe696029de2fff4faea0b766978ef424a8a7fec1 100644 (file)
--- a/src/util/datatype.i
+++ b/src/util/datatype.i
@@ -1,8 +1,5 @@
 %{
 #include "util/datatype.h"
-namespace CVC4 {
-//typedef CVC4::Datatype::Constructor DatatypeConstructor;
-}
 %}
 
 namespace CVC4 {
@@ -33,6 +30,11 @@ namespace CVC4 {
 %rename(apply) CVC4::DatatypeHashFunction::operator()(const Datatype::Constructor&) const;
 %ignore CVC4::DatatypeHashFunction::operator()(const Datatype::Constructor*) const;
 
+%rename(beginConst) CVC4::Constructor::begin() const;
+%rename(endConst) CVC4::Constructor::end() const;
+
+%rename(getArg) CVC4::Constructor::operator[](size_t) const;
+
 %ignore CVC4::operator<<(std::ostream&, const Datatype&);
 %ignore CVC4::operator<<(std::ostream&, const Datatype::Constructor&);
 %ignore CVC4::operator<<(std::ostream&, const Datatype::Constructor::Arg&);
@@ -226,7 +228,6 @@ namespace CVC4 {
     const Arg& operator[](size_t index) const;
 
   };/* class Datatype::Constructor */
-}
 
   class SelfType {
   };/* class Datatype::SelfType */
@@ -245,6 +246,7 @@ namespace CVC4 {
     inline UnresolvedType(std::string name);
     inline std::string getName() const throw();
   };/* class Datatype::UnresolvedType */
+}
 
 %{
 namespace CVC4 {