Revert "[Relay] Expand type unification and other utilities"

include/tvm/relay/pass.h

@@ -108,17 +108,6 @@ bool AlphaEqual(const Type& t1, const Type& t2);
  */
 bool WellFormed(const Expr& expr);
 
-/*! \brief Get all bound variables from expression expr.
- *
- * Bound variables are all variables that are declared in the expr.
- * They only have meaning inside that expr, and can only be used in it.
- *
- * \param expr the expression.
- *
- * \return List of bound vars, in the PostDFS order in the expression.
- */
-tvm::Array<Var> BoundVars(const Expr& expr);
-
 /*! \brief Get free type parameters from expression expr.
  *
  * Free variables are variables that are not bound by a
@@ -130,14 +119,6 @@ tvm::Array<Var> BoundVars(const Expr& expr);
  */
 tvm::Array<Var> FreeVars(const Expr& expr);
 
-/*! \brief Get all variables from expression expr.
- *
- * \param expr the expression.
- *
- * \return List of all vars, in the PostDFS order in the expression.
- */
-tvm::Array<Var> AllVars(const Expr& expr);
-
 /*! \brief Get free TypeVars from expression expr.
  *
  * Free type parameters are type parameters that are not bound by a function
@@ -149,55 +130,6 @@ tvm::Array<Var> AllVars(const Expr& expr);
  */
 tvm::Array<TypeVar> FreeTypeVars(const Expr& expr);
 
-/*! \brief Get free TypeVars from type t.
- *
- * Free type parameters are type parameters that are not bound by a function
- * type in the context.
- *
- * \param t the type.
- *
- * \return List of free type vars, in the PostDFS order visited by type.
- */
-tvm::Array<TypeVar> FreeTypeVars(const Type& t);
-
-/*! \brief Get all bound type variables from expression expr.
- *
- * Bound variables are all type variables that are declared in the expr.
- * They only have meaning inside that expr, and can only be used in it.
- *
- * \param expr the expression.
- *
- * \return List of bound type vars, in the PostDFS order in the expression.
- */
-tvm::Array<TypeVar> BoundTypeVars(const Expr& expr);
-
-/*! \brief Get all bound type variables from type t.
- *
- * Bound variables are all type variables that are declared in the type.
- * They only have meaning inside that type, and can only be used in it.
- *
- * \param t the type
- *
- * \return List of bound type vars, in the PostDFS order visited by type.
- */
-tvm::Array<TypeVar> BoundTypeVars(const Type& t);
-
-/*! \brief Get all type variables in expression expr.
- *
- * \param expr the expression.
- *
- * \return List of type vars, in the PostDFS order in the expression.
- */
-tvm::Array<TypeVar> AllTypeVars(const Expr& expr);
-
-/*! \brief Get all type variables in type t.
- *
- * \param t the type.
- *
- * \return List of type vars, in the PostDFS order visited by type.
- */
-tvm::Array<TypeVar> AllTypeVars(const Type& t);
-
 /*! \brief Remove expressions which does not effect the program result.
  *
  * It will remove let bindings which are not referenced, and branches that will

python/tvm/relay/ir_pass.py

@@ -158,38 +158,6 @@ def free_vars(expr):
     return _ir_pass.free_vars(expr)
 
 
-def bound_vars(expr):
-    """Get bound vars from expression expr in post-DFS order.
-
-    Parameters
-    ----------
-    expr: tvm.relay.Expr
-        The input expression
-
-    Returns
-    -------
-    free : List[tvm.relay.Var]
-        The list of bound variables in post-DFS order.
-    """
-    return _ir_pass.bound_vars(expr)
-
-
-def all_vars(expr):
-    """Get all vars from expression expr in post-DFS order.
-
-    Parameters
-    ----------
-    expr: tvm.relay.Expr
-        The input expression
-
-    Returns
-    -------
-    free : List[tvm.relay.Var]
-        The list of all variables in post-DFS order.
-    """
-    return _ir_pass.all_vars(expr)
-
-
 def free_type_vars(expr):
     """Get free type variables from expression/type e
 
@@ -200,44 +168,12 @@ def free_type_vars(expr):
 
     Returns
     -------
-    free : List[tvm.relay.TypeVar]
-        The list of free type variables in post-DFS order
+    free : List[tvm.relay.TypeParam]
+        The list of free type variables
     """
     return _ir_pass.free_type_vars(expr)
 
 
-def bound_type_vars(expr):
-    """Get bound type variables from expression/type e
-
-    Parameters
-    ----------
-    expr: Union[tvm.relay.Expr,tvm.relay.Type]
-        The input expression/type
-
-    Returns
-    -------
-    free : List[tvm.relay.TypeVar]
-        The list of bound type variables in post-DFS order
-    """
-    return _ir_pass.bound_type_vars(expr)
-
-
-def all_type_vars(expr):
-    """Get all type variables from expression/type e
-
-    Parameters
-    ----------
-    expr: Union[tvm.relay.Expr,tvm.relay.Type]
-        The input expression/type
-
-    Returns
-    -------
-    free : List[tvm.relay.TypeVar]
-        The list of all type variables in post-DFS order
-    """
-    return _ir_pass.all_type_vars(expr)
-
-
 def simplify_inference(expr):
     """ Simplify the data-flow graph for inference phase.