From 7757d44ee9f1b7e23d308d9174a6925f1c936a90 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 24 Apr 2015 09:11:25 +0200
Subject: [PATCH] bddprint: remove some never used functions

* src/twa/bddprint.cc, src/twa/bddprint.hh (bdd_print_acc,
bdd_print_dot, bdd_print_table): Remove.
---
 src/twa/bddprint.cc | 45 +--------------------------------------------
 src/twa/bddprint.hh | 28 ++--------------------------
 2 files changed, 3 insertions(+), 70 deletions(-)

diff --git a/src/twa/bddprint.cc b/src/twa/bddprint.cc
index 395609276..4becfd38e 100644
--- a/src/twa/bddprint.cc
+++ b/src/twa/bddprint.cc
@@ -1,5 +1,5 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2009, 2012, 2014 Laboratoire de Recherche et
+// Copyright (C) 2009, 2012, 2014, 2015 Laboratoire de Recherche et
 // Développement de l'Epita (LRDE).
 // Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6
 // (LIP6), département Systèmes Répartis Coopératifs (SRC), Université
@@ -108,27 +108,6 @@ namespace spot
     return os;
   }
 
-  static void
-  print_acc_handler(char* varset, int size)
-  {
-    for (int v = 0; v < size; ++v)
-      if (varset[v] > 0)
-	{
-	  *where << ' ';
-	  print_handler(*where, v);
-	}
-  }
-
-  std::ostream&
-  bdd_print_acc(std::ostream& os, const bdd_dict_ptr& d, bdd b)
-  {
-    dict = d;
-    where = &os;
-    want_acc = false;
-    bdd_allsat(b, print_acc_handler);
-    return os;
-  }
-
   static bool first_done = false;
   static void
   print_accset_handler(char* varset, int size)
@@ -207,28 +186,6 @@ namespace spot
     return os.str();
   }
 
-  std::ostream&
-  bdd_print_dot(std::ostream& os, const bdd_dict_ptr& d, bdd b)
-  {
-    dict = d;
-    want_acc = true;
-    bdd_strm_hook(print_handler);
-    os << bdddot << b;
-    bdd_strm_hook(0);
-    return os;
-  }
-
-  std::ostream&
-  bdd_print_table(std::ostream& os, const bdd_dict_ptr& d, bdd b)
-  {
-    dict = d;
-    want_acc = true;
-    bdd_strm_hook(print_handler);
-    os << bddtable << b;
-    bdd_strm_hook(0);
-    return os;
-  }
-
   void
   enable_utf8()
   {
diff --git a/src/twa/bddprint.hh b/src/twa/bddprint.hh
index 28e7c5360..69231db11 100644
--- a/src/twa/bddprint.hh
+++ b/src/twa/bddprint.hh
@@ -1,6 +1,6 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2012, 2013, 2014 Laboratoire de Recherche et Développement
-// de l'Epita (LRDE).
+// Copyright (C) 2012, 2013, 2014, 2015 Laboratoire de Recherche et
+// Développement de l'Epita (LRDE).
 // Copyright (C) 2003, 2004 Laboratoire d'Informatique de
 // Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC),
 // Université Pierre et Marie Curie.
@@ -48,16 +48,6 @@ namespace spot
   SPOT_API std::string
   bdd_format_sat(const bdd_dict_ptr& dict, bdd b);
 
-  /// \brief Print a BDD as a list of acceptance conditions.
-  ///
-  /// This is used when saving a TGBA.
-  /// \param os The output stream.
-  /// \param dict The dictionary to use, to lookup variables.
-  /// \param b The BDD to print.
-  /// \return The BDD formated as a string.
-  SPOT_API std::ostream&
-  bdd_print_acc(std::ostream& os, const bdd_dict_ptr& dict, bdd b);
-
   /// \brief Print a BDD as a set of acceptance conditions.
   ///
   /// This is used when saving a TGBA.
@@ -105,20 +95,6 @@ namespace spot
   SPOT_API std::string
   bdd_format_formula(const bdd_dict_ptr& dict, bdd b);
 
-  /// \brief Print a BDD as a diagram in dotty format.
-  /// \param os The output stream.
-  /// \param dict The dictionary to use, to lookup variables.
-  /// \param b The BDD to print.
-  SPOT_API std::ostream&
-  bdd_print_dot(std::ostream& os, const bdd_dict_ptr& dict, bdd b);
-
-  /// \brief Print a BDD as a table.
-  /// \param os The output stream.
-  /// \param dict The dictionary to use, to lookup variables.
-  /// \param b The BDD to print.
-  SPOT_API std::ostream&
-  bdd_print_table(std::ostream& os, const bdd_dict_ptr& dict, bdd b);
-
   /// \brief Enable UTF-8 output for bdd printers.
   SPOT_API void enable_utf8();