From e0ec45ed14bc958ad80ba3d215ec07d34338da56 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 25 May 2004 13:08:33 +0000
Subject: [PATCH] * src/ltlvisit/formlength.cc (length_form_vistor): Rename as
 .. (length_visitor): ... this. (form_length): Rename as ... (length): ...
 this. * src/ltlvisit/reducform.hh (form_length): Rename as ... (length): ...
 this. * src/ltltest/reduc.cc: Adjust.

---
 ChangeLog                  |  8 ++++++++
 src/ltltest/reduc.cc       |  4 ++--
 src/ltlvisit/formlength.cc | 16 ++++++++--------
 src/ltlvisit/reducform.hh  |  2 +-
 4 files changed, 19 insertions(+), 11 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index bfc02fd57..0058ed8ed 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,13 @@
 2004-05-25  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* src/ltlvisit/formlength.cc (length_form_vistor): Rename as ..
+	(length_visitor): ... this.
+	(form_length): Rename as ...
+	(length): ... this.
+	* src/ltlvisit/reducform.hh (form_length): Rename as ...
+	(length): ... this.
+	* src/ltltest/reduc.cc: Adjust.
+
 	* src/ltlvisit/basereduc.cc, src/ltlvisit/formlength.cc: Remove
 	useless includes.
 
diff --git a/src/ltltest/reduc.cc b/src/ltltest/reduc.cc
index d7b72c96f..7b1982cdd 100644
--- a/src/ltltest/reduc.cc
+++ b/src/ltltest/reduc.cc
@@ -103,7 +103,7 @@ main(int argc, char** argv)
   spot::ltl::destroy(ftmp2);
 
 
-  int length_f1_before = spot::ltl::form_length(f1);
+  int length_f1_before = spot::ltl::length(f1);
   std::string f1s_before = spot::ltl::to_string(f1);
 
   ftmp1 = f1;
@@ -113,7 +113,7 @@ main(int argc, char** argv)
   spot::ltl::destroy(ftmp1);
   spot::ltl::destroy(ftmp2);
 
-  int length_f1_after = spot::ltl::form_length(f1);
+  int length_f1_after = spot::ltl::length(f1);
   std::string f1s_after = spot::ltl::to_string(f1);
 
   bool red = (length_f1_after < length_f1_before);
diff --git a/src/ltlvisit/formlength.cc b/src/ltlvisit/formlength.cc
index 60ee19f13..2659fb2c7 100644
--- a/src/ltlvisit/formlength.cc
+++ b/src/ltlvisit/formlength.cc
@@ -27,17 +27,17 @@ namespace spot
   namespace ltl
   {
 
-   class length_form_visitor : public const_visitor
+   class length_visitor : public const_visitor
     {
     public:
 
-      length_form_visitor()
+      length_visitor()
       {
 	result_ = 0;
       }
 
       virtual
-      ~length_form_visitor()
+      ~length_visitor()
       {
       }
 
@@ -62,13 +62,13 @@ namespace spot
       void
       visit(const unop* uo)
       {
-	result_ = 1 + form_length(uo->child());
+	result_ = 1 + length(uo->child());
       }
 
       void
       visit(const binop* bo)
       {
-	result_ = 1 + form_length(bo->first()) + form_length(bo->second());
+	result_ = 1 + length(bo->first()) + length(bo->second());
       }
 
       void
@@ -76,7 +76,7 @@ namespace spot
       {
 	unsigned mos = mo->size();
 	for (unsigned i = 0; i < mos; ++i)
-	  result_ += form_length(mo->nth(i));
+	  result_ += length(mo->nth(i));
       }
 
     protected:
@@ -84,9 +84,9 @@ namespace spot
     };
 
     int
-    form_length(const formula* f)
+    length(const formula* f)
     {
-      length_form_visitor v;
+      length_visitor v;
       const_cast<formula*>(f)->accept(v);
       return v.result();
     }
diff --git a/src/ltlvisit/reducform.hh b/src/ltlvisit/reducform.hh
index dc25d9bac..875c3acb2 100644
--- a/src/ltlvisit/reducform.hh
+++ b/src/ltlvisit/reducform.hh
@@ -75,7 +75,7 @@ namespace spot
     bool is_universal(const formula* f);
 
     /// Length of a formula.
-    int form_length(const formula* f);
+    int length(const formula* f);
 
     /// Type the first node of a formula.
     class node_type_form_visitor : public const_visitor