From 2ffdd8494230463b8609649db38b534e028f7bd3 Mon Sep 17 00:00:00 2001
From: Florian Renkin <frenkin@lrde.epita.fr>
Date: Tue, 16 Apr 2024 16:42:27 +0200
Subject: [PATCH] Rename split_independant_formulas

split_independant_formulas is now split_independent_formulas

* spot/twaalgos/synthesis.hh, spot/twaalgos/synthesis.cc: change name.
* bin/ltlsynt.cc: update call
* NEWS: Mention it.
---
 NEWS                       | 3 +++
 bin/ltlsynt.cc             | 2 +-
 spot/twaalgos/synthesis.cc | 6 +++---
 spot/twaalgos/synthesis.hh | 4 ++--
 4 files changed, 9 insertions(+), 6 deletions(-)

diff --git a/NEWS b/NEWS
index 38b832611..c8dca2c82 100644
--- a/NEWS
+++ b/NEWS
@@ -198,6 +198,9 @@ New in spot 2.11.6.dev  (not yet released)
   - Rename minimize_obligation_garanteed_to_work to
     minimize_obligation_guaranteed_to_work.
 
+  - Rename split_independant_formulas to
+    split_independent_formulas.
+
   Python:
 
   - The spot.automata() and spot.automaton() functions now accept a
diff --git a/bin/ltlsynt.cc b/bin/ltlsynt.cc
index e113bf205..24f4af16a 100644
--- a/bin/ltlsynt.cc
+++ b/bin/ltlsynt.cc
@@ -447,7 +447,7 @@ namespace
     std::vector<std::set<spot::formula>> sub_outs;
     if (opt_decompose_ltl)
     {
-      auto subs = split_independant_formulas(f, output_aps);
+      auto subs = split_independent_formulas(f, output_aps);
       if (gi->verbose_stream)
         {
           *gi->verbose_stream << "there are "
diff --git a/spot/twaalgos/synthesis.cc b/spot/twaalgos/synthesis.cc
index b2c8648ff..2928a642d 100644
--- a/spot/twaalgos/synthesis.cc
+++ b/spot/twaalgos/synthesis.cc
@@ -1847,7 +1847,7 @@ namespace // anonymous for subsformula
 namespace spot
 {
   std::pair<std::vector<formula>, std::vector<std::set<formula>>>
-  split_independant_formulas(formula f, const std::vector<std::string>& outs)
+  split_independent_formulas(formula f, const std::vector<std::string>& outs)
   {
     formula_2_inout_props form2props(outs);
     std::set<std::string> outs_set(outs.begin(), outs.end());
@@ -1905,10 +1905,10 @@ namespace spot
   }
 
   std::pair<std::vector<formula>, std::vector<std::set<formula>>>
-  split_independant_formulas(const std::string& f,
+  split_independent_formulas(const std::string& f,
                              const std::vector<std::string>& outs)
   {
-    return split_independant_formulas(parse_formula(f), outs);
+    return split_independent_formulas(parse_formula(f), outs);
   }
 
   bool
diff --git a/spot/twaalgos/synthesis.hh b/spot/twaalgos/synthesis.hh
index 5174176e9..3d25441e9 100644
--- a/spot/twaalgos/synthesis.hh
+++ b/spot/twaalgos/synthesis.hh
@@ -222,10 +222,10 @@ namespace spot
   ///  propositions each.
   /// @{
   SPOT_API std::pair<std::vector<formula>, std::vector<std::set<formula>>>
-  split_independant_formulas(formula f, const std::vector<std::string>& outs);
+  split_independent_formulas(formula f, const std::vector<std::string>& outs);
 
   SPOT_API std::pair<std::vector<formula>, std::vector<std::set<formula>>>
-  split_independant_formulas(const std::string& f,
+  split_independent_formulas(const std::string& f,
                              const std::vector<std::string>& outs);
   /// @}