From 86df00c36c6cbabac53001082219c3fc8c0fa297 Mon Sep 17 00:00:00 2001
From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Mon, 24 Sep 2012 20:55:58 +0000
Subject: some api changes

---
 src/expr/type.cpp | 18 ------------------
 1 file changed, 18 deletions(-)

(limited to 'src/expr/type.cpp')

diff --git a/src/expr/type.cpp b/src/expr/type.cpp
index d67aa1fe3..b55d33dcf 100644
--- a/src/expr/type.cpp
+++ b/src/expr/type.cpp
@@ -411,19 +411,6 @@ Type::operator SubrangeType() const throw(AssertionException) {
   return SubrangeType(*this);
 }
 
-/** Is this a kind type (i.e., the type of a type)? */
-bool Type::isKind() const {
-  NodeManagerScope nms(d_nodeManager);
-  return d_typeNode->isKind();
-}
-
-/** Cast to a kind type */
-Type::operator KindType() const throw(AssertionException) {
-  NodeManagerScope nms(d_nodeManager);
-  Assert(isNull() || isKind());
-  return KindType(*this);
-}
-
 vector<Type> FunctionType::getArgTypes() const {
   NodeManagerScope nms(d_nodeManager);
   vector<Type> args;
@@ -551,11 +538,6 @@ ArrayType::ArrayType(const Type& t) throw(AssertionException) :
   Assert(isNull() || isArray());
 }
 
-KindType::KindType(const Type& t) throw(AssertionException) :
-  Type(t) {
-  Assert(isNull() || isKind());
-}
-
 SortType::SortType(const Type& t) throw(AssertionException) :
   Type(t) {
   Assert(isNull() || isSort());
-- 
cgit v1.2.3