From bb9af5120190761d5d91b6d2fab394d544877ec0 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 814656e9009..0032fd91b9d 100644
--- a/Makefile
+++ b/Makefile
@@ -632,7 +632,7 @@ $(eval $(call add_include_file,kernel/yosys.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
@@ -673,7 +673,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 c2925b6472f..ff51c793836 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)
 {
 	const std::string tempdir_name = Yosys::make_temp_dir(Yosys::get_base_tmpdir() + "/yosys-sat-XXXXXX");
 	const std::string cnf_filename = Yosys::stringf("%s/problem.cnf", tempdir_name.c_str());
@@ -81,4 +81,4 @@ bool ezSATCommand::solver(const std::vector<int> &modelExpressions, std::vector<
 		modelValues[i] = (values.at(idx - 1) == refvalue);
 	}
 	return true;
-}
\ 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;
 };