remove now-unnecessary wrappers from Type interface

diff --git a/src/expr/type.i b/src/expr/type.i
index 870cb228c7539d4db42c90bb8667aff615c8e4a4..e227cca233152e13595c976904155f087da58639 100644 (file)
--- 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;