From 98604c754fe0e90d3f8cb53d3a3dc990b33344c6 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 22 Jun 2004 22:54:35 +0000
Subject: [PATCH] * src/ltlvisit/reducform.hh, src/ltlvisit/reducform.cc:
 Rename to ... * src/ltlvisit/reduce.hh, src/ltlvisit/reduce.cc: ... this, to
 match the function name. * ltltest/equals.cc, ltltest/reduc.cc,
 ltlvisit/Makefile.am, tgbatest/ltl2tgba.cc, tgbatest/reductgba.cc: Adjust
 filenames.

---
 ChangeLog                                | 6 ++++++
 src/ltltest/equals.cc                    | 2 +-
 src/ltltest/reduc.cc                     | 2 +-
 src/ltlvisit/Makefile.am                 | 4 ++--
 src/ltlvisit/{reducform.cc => reduce.cc} | 2 +-
 src/ltlvisit/{reducform.hh => reduce.hh} | 6 +++---
 src/tgbatest/ltl2tgba.cc                 | 2 +-
 src/tgbatest/reductgba.cc                | 2 +-
 8 files changed, 16 insertions(+), 10 deletions(-)
 rename src/ltlvisit/{reducform.cc => reduce.cc} (99%)
 rename src/ltlvisit/{reducform.hh => reduce.hh} (96%)

diff --git a/ChangeLog b/ChangeLog
index 93c988df2..4f1371754 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,11 @@
 2004-06-23  Alexandre Duret-Lutz  <adl@gnu.org>
 
+	* src/ltlvisit/reducform.hh, src/ltlvisit/reducform.cc: Rename to ...
+	* src/ltlvisit/reduce.hh, src/ltlvisit/reduce.cc: ... this, to match
+	the function name.
+	* ltltest/equals.cc, ltltest/reduc.cc, ltlvisit/Makefile.am,
+	tgbatest/ltl2tgba.cc, tgbatest/reductgba.cc: Adjust filenames.
+
 	* src/ltlvisit/basicreduce.cc (basic_reduce_visitor::visit(binop*)):
 	Factorize.
 
diff --git a/src/ltltest/equals.cc b/src/ltltest/equals.cc
index a1650f3fc..8a54d0081 100644
--- a/src/ltltest/equals.cc
+++ b/src/ltltest/equals.cc
@@ -28,7 +28,7 @@
 #include "ltlvisit/nenoform.hh"
 #include "ltlvisit/destroy.hh"
 #include "ltlast/allnodes.hh"
-#include "ltlvisit/reducform.hh"
+#include "ltlvisit/reduce.hh"
 #include "ltlvisit/tostring.hh"
 
 void
diff --git a/src/ltltest/reduc.cc b/src/ltltest/reduc.cc
index a3f2b2d18..5ca105cbe 100644
--- a/src/ltltest/reduc.cc
+++ b/src/ltltest/reduc.cc
@@ -28,7 +28,7 @@
 #include "ltlvisit/nenoform.hh"
 #include "ltlvisit/destroy.hh"
 #include "ltlvisit/tostring.hh"
-#include "ltlvisit/reducform.hh"
+#include "ltlvisit/reduce.hh"
 #include "ltlvisit/length.hh"
 #include "ltlast/allnodes.hh"
 
diff --git a/src/ltlvisit/Makefile.am b/src/ltlvisit/Makefile.am
index 863d591ff..90504e740 100644
--- a/src/ltlvisit/Makefile.am
+++ b/src/ltlvisit/Makefile.am
@@ -34,7 +34,7 @@ ltlvisit_HEADERS = \
   lunabbrev.hh \
   nenoform.hh \
   postfix.hh \
-  reducform.hh \
+  reduce.hh \
   syntimpl.hh \
   tostring.hh \
   tunabbrev.hh
@@ -50,7 +50,7 @@ libltlvisit_la_SOURCES = \
   lunabbrev.cc \
   nenoform.cc \
   postfix.cc \
-  reducform.cc \
+  reduce.cc \
   syntimpl.cc \
   tostring.cc \
   tunabbrev.cc
diff --git a/src/ltlvisit/reducform.cc b/src/ltlvisit/reduce.cc
similarity index 99%
rename from src/ltlvisit/reducform.cc
rename to src/ltlvisit/reduce.cc
index c04814262..5a4d1871f 100644
--- a/src/ltlvisit/reducform.cc
+++ b/src/ltlvisit/reduce.cc
@@ -19,7 +19,7 @@
 // Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
 // 02111-1307, USA.
 
-#include "reducform.hh"
+#include "reduce.hh"
 #include "basicreduce.hh"
 #include "syntimpl.hh"
 #include "ltlast/allnodes.hh"
diff --git a/src/ltlvisit/reducform.hh b/src/ltlvisit/reduce.hh
similarity index 96%
rename from src/ltlvisit/reducform.hh
rename to src/ltlvisit/reduce.hh
index 4e43eae86..30dc451f8 100644
--- a/src/ltlvisit/reducform.hh
+++ b/src/ltlvisit/reduce.hh
@@ -19,8 +19,8 @@
 // Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
 // 02111-1307, USA.
 
-#ifndef SPOT_LTLVISIT_REDUCFORM_HH
-# define SPOT_LTLVISIT_REDUCFORM_HH
+#ifndef SPOT_LTLVISIT_REDUCE_HH
+# define SPOT_LTLVISIT_REDUCE_HH
 
 #include "ltlast/formula.hh"
 #include "ltlast/visitor.hh"
@@ -80,4 +80,4 @@ namespace spot
   }
 }
 
-#endif //  SPOT_LTLVISIT_REDUCFORM_HH
+#endif //  SPOT_LTLVISIT_REDUCE_HH
diff --git a/src/tgbatest/ltl2tgba.cc b/src/tgbatest/ltl2tgba.cc
index 700c2e86d..167e6c44d 100644
--- a/src/tgbatest/ltl2tgba.cc
+++ b/src/tgbatest/ltl2tgba.cc
@@ -24,7 +24,7 @@
 #include <fstream>
 #include <string>
 #include "ltlvisit/destroy.hh"
-#include "ltlvisit/reducform.hh"
+#include "ltlvisit/reduce.hh"
 #include "ltlvisit/tostring.hh"
 #include "ltlast/allnodes.hh"
 #include "ltlparse/public.hh"
diff --git a/src/tgbatest/reductgba.cc b/src/tgbatest/reductgba.cc
index 08815cad4..8bcf7a312 100644
--- a/src/tgbatest/reductgba.cc
+++ b/src/tgbatest/reductgba.cc
@@ -24,7 +24,7 @@
 #include "tgba/tgbareduc.hh"
 
 #include "ltlvisit/destroy.hh"
-#include "ltlvisit/reducform.hh"
+#include "ltlvisit/reduce.hh"
 #include "ltlast/allnodes.hh"
 #include "ltlparse/public.hh"
 #include "tgbaalgos/ltl2tgba_lacim.hh"