From 5d8f16da99252605e3933baf7ff95a22e50e4f3f Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 1 Dec 2014 17:51:57 +0100
Subject: [PATCH] countstates: remove unused file

* src/priv/countstates.cc, src/priv/countstates.hh: Delete.
* src/priv/Makefile.am, src/tgbaalgos/postproc.cc: Adjust.
---
 src/priv/Makefile.am      |  2 --
 src/priv/countstates.cc   | 32 --------------------------------
 src/priv/countstates.hh   | 34 ----------------------------------
 src/tgbaalgos/postproc.cc |  1 -
 4 files changed, 69 deletions(-)
 delete mode 100644 src/priv/countstates.cc
 delete mode 100644 src/priv/countstates.hh

diff --git a/src/priv/Makefile.am b/src/priv/Makefile.am
index 595c82701..7180831be 100644
--- a/src/priv/Makefile.am
+++ b/src/priv/Makefile.am
@@ -23,11 +23,9 @@ AM_CXXFLAGS = $(WARNING_CXXFLAGS)
 noinst_HEADERS = \
   accmap.hh \
   bddalloc.hh \
-  countstates.hh \
   freelist.hh
 
 noinst_LTLIBRARIES = libpriv.la
 libpriv_la_SOURCES = \
   bddalloc.cc \
-  countstates.cc \
   freelist.cc
diff --git a/src/priv/countstates.cc b/src/priv/countstates.cc
deleted file mode 100644
index 0a2f4dec4..000000000
--- a/src/priv/countstates.cc
+++ /dev/null
@@ -1,32 +0,0 @@
-// -*- coding: utf-8 -*-
-// Copyright (C) 2013, 2014 Laboratoire de Recherche et Développement
-// de l'Epita (LRDE).
-//
-// This file is part of Spot, a model checking library.
-//
-// Spot is free software; you can redistribute it and/or modify it
-// under the terms of the GNU General Public License as published by
-// the Free Software Foundation; either version 3 of the License, or
-// (at your option) any later version.
-//
-// Spot is distributed in the hope that it will be useful, but WITHOUT
-// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
-// or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
-// License for more details.
-//
-// You should have received a copy of the GNU General Public License
-// along with this program.  If not, see <http://www.gnu.org/licenses/>.
-
-#include "countstates.hh"
-#include "tgba/tgbagraph.hh"
-#include "tgbaalgos/stats.hh"
-
-namespace spot
-{
-  unsigned count_states(const const_tgba_ptr& a)
-  {
-    if (auto b = std::dynamic_pointer_cast<const tgba_digraph>(a))
-      return b->num_states();
-    return stats_reachable(a).states;
-  }
-}
diff --git a/src/priv/countstates.hh b/src/priv/countstates.hh
deleted file mode 100644
index ec87b9618..000000000
--- a/src/priv/countstates.hh
+++ /dev/null
@@ -1,34 +0,0 @@
-// -*- coding: utf-8 -*-
-// Copyright (C) 2013, 2014 Laboratoire de Recherche et Développement
-// de l'Epita (LRDE).
-//
-// This file is part of Spot, a model checking library.
-//
-// Spot is free software; you can redistribute it and/or modify it
-// under the terms of the GNU General Public License as published by
-// the Free Software Foundation; either version 3 of the License, or
-// (at your option) any later version.
-//
-// Spot is distributed in the hope that it will be useful, but WITHOUT
-// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
-// or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
-// License for more details.
-//
-// You should have received a copy of the GNU General Public License
-// along with this program.  If not, see <http://www.gnu.org/licenses/>.
-
-#ifndef SPOT_PRIV_COUNTSTATES_HH
-# define SPOT_PRIV_COUNTSTATES_HH
-
-#include "tgba/fwd.hh"
-#include "misc/common.hh"
-
-namespace spot
-{
-  unsigned count_states(const const_tgba_ptr& a);
-
-  // Call a->num_states() directly!
-  unsigned count_states(const_tgba_digraph_ptr a) SPOT_DEPRECATED;
-}
-
-#endif // SPOT_PRIV_COUNTSTATES_HH
diff --git a/src/tgbaalgos/postproc.cc b/src/tgbaalgos/postproc.cc
index 11356bb63..1adbaff50 100644
--- a/src/tgbaalgos/postproc.cc
+++ b/src/tgbaalgos/postproc.cc
@@ -25,7 +25,6 @@
 #include "stripacc.hh"
 #include <cstdlib>
 #include "misc/optionmap.hh"
-#include "priv/countstates.hh"
 #include "powerset.hh"
 #include "isdet.hh"
 #include "dtbasat.hh"