From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 5 Feb 2013 20:25:38 +0000 (-0500)
Subject: remove now-unnecessary wrappers from Type interface
X-Git-Tag: cvc5-1.0.0~7424
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5e5e32343ea7d7459ade375bcc1a0d8811a0cb1d;p=cvc5.git

remove now-unnecessary wrappers from Type interface
---

diff --git a/src/expr/type.i b/src/expr/type.i
index 870cb228c..e227cca23 100644
--- a/src/expr/type.i
+++ b/src/expr/type.i
@@ -14,24 +14,6 @@
 %rename(greater) CVC4::Type::operator>(const Type&) const;
 %rename(greaterEqual) CVC4::Type::operator>=(const Type&) const;
 
-%rename(toBooleanType) CVC4::Type::operator BooleanType() const;
-%rename(toIntegerType) CVC4::Type::operator IntegerType() const;
-%rename(toRealType) CVC4::Type::operator RealType() const;
-%rename(toStringType) CVC4::Type::operator StringType() const;
-%rename(toBitVectorType) CVC4::Type::operator BitVectorType() const;
-%rename(toFunctionType) CVC4::Type::operator FunctionType() const;
-%rename(toTupleType) CVC4::Type::operator TupleType() const;
-%rename(toSExprType) CVC4::Type::operator SExprType() const;
-%rename(toArrayType) CVC4::Type::operator ArrayType() const;
-%rename(toDatatypeType) CVC4::Type::operator DatatypeType() const;
-%rename(toConstructorType) CVC4::Type::operator ConstructorType() const;
-%rename(toSelectorType) CVC4::Type::operator SelectorType() const;
-%rename(toTesterType) CVC4::Type::operator TesterType() const;
-%rename(toSortType) CVC4::Type::operator SortType() const;
-%rename(toSortConstructorType) CVC4::Type::operator SortConstructorType() const;
-%rename(toPredicateSubtype) CVC4::Type::operator PredicateSubtype() const;
-%rename(toSubrangeType) CVC4::Type::operator SubrangeType() const;
-
 namespace CVC4 {
   namespace expr {
     %ignore exportTypeInternal;