rename safety.hh as strength.hh

* src/twaalgos/safety.cc, src/twaalgos/safety.hh: Rename as ...
* src/twaalgos/strength.cc, src/twaalgos/strength.hh: ... these.
* src/bin/ltlfilt.cc, src/tests/ikwiad.cc, src/twaalgos/Makefile.am,
src/twaalgos/compsusp.cc, src/twaalgos/minimize.cc,
wrap/python/spot_impl.i: Adjust.

src/bin/ltlfilt.cc

@@ -45,7 +45,7 @@
 #include "tl/print.hh"
 #include "twaalgos/ltl2tgba_fm.hh"
 #include "twaalgos/minimize.hh"
-#include "twaalgos/safety.hh"
+#include "twaalgos/strength.hh"
 #include "twaalgos/stutter.hh"
 
 const char argp_program_doc[] ="\

src/tests/ikwiad.cc

@@ -44,7 +44,7 @@
 #include "taalgos/minimize.hh"
 #include "twaalgos/neverclaim.hh"
 #include "twaalgos/sccfilter.hh"
-#include "twaalgos/safety.hh"
+#include "twaalgos/strength.hh"
 #include "twaalgos/gtec/gtec.hh"
 #include "misc/timer.hh"
 #include "twaalgos/stats.hh"

src/twaalgos/Makefile.am

@@ -65,7 +65,7 @@ twaalgos_HEADERS = \
   relabel.hh \
   remfin.hh \
   remprop.hh \
-  safety.hh \
+  strength.hh \
   sbacc.hh \
   sccfilter.hh \
   sccinfo.hh \
@@ -120,7 +120,7 @@ libtwaalgos_la_SOURCES = \
   remfin.cc \
   remprop.cc \
   relabel.cc \
-  safety.cc \
+  strength.cc \
   sbacc.cc \
   sccinfo.cc \
   sccfilter.cc \

src/twaalgos/compsusp.cc

@@ -24,7 +24,7 @@
 #include "ltl2tgba_fm.hh"
 #include "minimize.hh"
 #include "simulation.hh"
-#include "safety.hh"
+#include "strength.hh"
 #include "tl/print.hh"
 #include <queue>
 #include <sstream>

src/twaalgos/minimize.cc

@@ -35,17 +35,17 @@
 #include "minimize.hh"
 #include "misc/hash.hh"
 #include "misc/bddlt.hh"
-#include "twaalgos/product.hh"
-#include "twaalgos/powerset.hh"
-#include "twaalgos/gtec/gtec.hh"
-#include "twaalgos/safety.hh"
-#include "twaalgos/sccfilter.hh"
-#include "twaalgos/sccinfo.hh"
-#include "twaalgos/ltl2tgba_fm.hh"
-#include "twaalgos/bfssteps.hh"
-#include "twaalgos/isdet.hh"
-#include "twaalgos/complement.hh"
-#include "twaalgos/remfin.hh"
+#include "product.hh"
+#include "powerset.hh"
+#include "gtec/gtec.hh"
+#include "strength.hh"
+#include "sccfilter.hh"
+#include "sccinfo.hh"
+#include "ltl2tgba_fm.hh"
+#include "bfssteps.hh"
+#include "isdet.hh"
+#include "complement.hh"
+#include "remfin.hh"
 
 namespace spot
 {

src/twaalgos/strength.cc

@@ -17,7 +17,7 @@
 // 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 "safety.hh"
+#include "strength.hh"
 #include "misc/hash.hh"
 #include <deque>
 

wrap/python/spot_impl.i

@@ -124,7 +124,7 @@
 #include "twaalgos/minimize.hh"
 #include "twaalgos/neverclaim.hh"
 #include "twaalgos/remfin.hh"
-#include "twaalgos/safety.hh"
+#include "twaalgos/strength.hh"
 #include "twaalgos/sccfilter.hh"
 #include "twaalgos/stats.hh"
 #include "twaalgos/isdet.hh"
@@ -303,7 +303,7 @@ namespace std {
 %include "twaalgos/magic.hh"
 %include "twaalgos/minimize.hh"
 %include "twaalgos/neverclaim.hh"
-%include "twaalgos/safety.hh"
+%include "twaalgos/strength.hh"
 %include "twaalgos/remfin.hh"
 %include "twaalgos/sccfilter.hh"
 %include "twaalgos/stats.hh"