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

@@ -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

src/priv/countstates.cc

-// -*- 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;
-  }
-}

src/priv/countstates.hh

-// -*- 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

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"