From e16cf967fd242ccba16f69ef7a8b053af3673ae2 Mon Sep 17 00:00:00 2001
From: Gabriel Gouvine <gabriel.gouvine_git@m4x.org>
Date: Thu, 28 Mar 2024 17:25:19 +0000
Subject: [PATCH] ezsat: Rename files and class for ezCmdlineSat

---
 Makefile                                  |  4 ++--
 libs/ezsat/{ezcommand.cc => ezcmdline.cc} | 10 +++++-----
 libs/ezsat/{ezcommand.h => ezcmdline.h}   |  6 +++---
 3 files changed, 10 insertions(+), 10 deletions(-)
 rename libs/ezsat/{ezcommand.cc => ezcmdline.cc} (91%)
 rename libs/ezsat/{ezcommand.h => ezcmdline.h} (92%)

diff --git a/Makefile b/Makefile
index d7325339048..c70c50a13ed 100644
--- a/Makefile
+++ b/Makefile
@@ -633,7 +633,7 @@ $(eval $(call add_include_file,kernel/yosys_common.h))
 $(eval $(call add_include_file,kernel/yw.h))
 $(eval $(call add_include_file,libs/ezsat/ezsat.h))
 $(eval $(call add_include_file,libs/ezsat/ezminisat.h))
-$(eval $(call add_include_file,libs/ezsat/ezcommand.h))
+$(eval $(call add_include_file,libs/ezsat/ezcmdline.h))
 ifeq ($(ENABLE_ZLIB),1)
 $(eval $(call add_include_file,libs/fst/fstapi.h))
 endif
@@ -674,7 +674,7 @@ OBJS += libs/json11/json11.o
 
 OBJS += libs/ezsat/ezsat.o
 OBJS += libs/ezsat/ezminisat.o
-OBJS += libs/ezsat/ezcommand.o
+OBJS += libs/ezsat/ezcmdline.o
 
 OBJS += libs/minisat/Options.o
 OBJS += libs/minisat/SimpSolver.o
diff --git a/libs/ezsat/ezcommand.cc b/libs/ezsat/ezcmdline.cc
similarity index 91%
rename from libs/ezsat/ezcommand.cc
rename to libs/ezsat/ezcmdline.cc
index 2040d3c1aef..1b5278fabc9 100644
--- a/libs/ezsat/ezcommand.cc
+++ b/libs/ezsat/ezcmdline.cc
@@ -1,13 +1,13 @@
 
-#include "ezcommand.h"
+#include "ezcmdline.h"
 
 #include "../../kernel/yosys.h"
 
-ezSATCommand::ezSATCommand(const std::string &cmd) : command(cmd) {}
+ezCmdlineSAT::ezCmdlineSAT(const std::string &cmd) : command(cmd) {}
 
-ezSATCommand::~ezSATCommand() {}
+ezCmdlineSAT::~ezCmdlineSAT() {}
 
-bool ezSATCommand::solver(const std::vector<int> &modelExpressions, std::vector<bool> &modelValues, const std::vector<int> &assumptions)
+bool ezCmdlineSAT::solver(const std::vector<int> &modelExpressions, std::vector<bool> &modelValues, const std::vector<int> &assumptions)
 {
 #if !defined(YOSYS_DISABLE_SPAWN)
 	const std::string tempdir_name = Yosys::make_temp_dir(Yosys::get_base_tmpdir() + "/yosys-sat-XXXXXX");
@@ -85,4 +85,4 @@ bool ezSATCommand::solver(const std::vector<int> &modelExpressions, std::vector<
 #else
 	Yosys::log_error("SAT solver command not available in this build!\n");
 #endif
-}
\ No newline at end of file
+}
diff --git a/libs/ezsat/ezcommand.h b/libs/ezsat/ezcmdline.h
similarity index 92%
rename from libs/ezsat/ezcommand.h
rename to libs/ezsat/ezcmdline.h
index a0e3de4ed59..8ec8c7043e1 100644
--- a/libs/ezsat/ezcommand.h
+++ b/libs/ezsat/ezcmdline.h
@@ -22,14 +22,14 @@
 
 #include "ezsat.h"
 
-class ezSATCommand : public ezSAT
+class ezCmdlineSAT : public ezSAT
 {
 private:
 	std::string command;
 
 public:
-	ezSATCommand(const std::string &cmd);
-	virtual ~ezSATCommand();
+	ezCmdlineSAT(const std::string &cmd);
+	virtual ~ezCmdlineSAT();
 	bool solver(const std::vector<int> &modelExpressions, std::vector<bool> &modelValues, const std::vector<int> &assumptions) override;
 };