Rename public and private headers in src/include. (#6352)

20 files changed, 21 insertions, 21 deletions

diff --git a/src/prop/bv_sat_solver_notify.h b/src/prop/bv_sat_solver_notify.h
index 9c1051754..416a08ef3 100644
--- a/src/prop/bv_sat_solver_notify.h
+++ b/src/prop/bv_sat_solver_notify.h
@@ -14,7 +14,7 @@
  * solver.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__PROP__BVSATSOLVERNOTIFY_H
 #define CVC5__PROP__BVSATSOLVERNOTIFY_H
diff --git a/src/prop/bvminisat/bvminisat.h b/src/prop/bvminisat/bvminisat.h
index 5dfc3f9f4..b41a9b836 100644
--- a/src/prop/bvminisat/bvminisat.h
+++ b/src/prop/bvminisat/bvminisat.h
@@ -15,7 +15,7 @@
  * Implementation of the minisat for cvc4 (bit-vectors).
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #pragma once
 
diff --git a/src/prop/cadical.h b/src/prop/cadical.h
index f046d66e4..325dafabc 100644
--- a/src/prop/cadical.h
+++ b/src/prop/cadical.h
@@ -15,7 +15,7 @@
  * Implementation of the CaDiCaL SAT solver for CVC4 (bit-vectors).
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__PROP__CADICAL_H
 #define CVC5__PROP__CADICAL_H
diff --git a/src/prop/cnf_stream.h b/src/prop/cnf_stream.h
index 64a735fec..2d0b83c33 100644
--- a/src/prop/cnf_stream.h
+++ b/src/prop/cnf_stream.h
@@ -21,7 +21,7 @@
  * internals such as the representation and translation of [??? -Chris]
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__PROP__CNF_STREAM_H
 #define CVC5__PROP__CNF_STREAM_H
diff --git a/src/prop/cryptominisat.h b/src/prop/cryptominisat.h
index 40a681148..283317245 100644
--- a/src/prop/cryptominisat.h
+++ b/src/prop/cryptominisat.h
@@ -15,7 +15,7 @@
  * Implementation of the cryptominisat sat solver for cvc4 (bit-vectors).
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__PROP__CRYPTOMINISAT_H
 #define CVC5__PROP__CRYPTOMINISAT_H
diff --git a/src/prop/kissat.h b/src/prop/kissat.h
index 3b65a06bb..fb05829df 100644
--- a/src/prop/kissat.h
+++ b/src/prop/kissat.h
@@ -15,7 +15,7 @@
  * Wrapper for the Kissat SAT solver (for theory of bit-vectors).
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__PROP__KISSAT_H
 #define CVC5__PROP__KISSAT_H
diff --git a/src/prop/minisat/core/Solver.h b/src/prop/minisat/core/Solver.h
index 534587bf7..fd682639b 100644
--- a/src/prop/minisat/core/Solver.h
+++ b/src/prop/minisat/core/Solver.h
@@ -26,7 +26,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
 #include "base/check.h"
 #include "base/output.h"
 #include "context/context.h"
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 #include "expr/proof_node_manager.h"
 #include "proof/clause_id.h"
 #include "prop/minisat/core/SolverTypes.h"
diff --git a/src/prop/minisat/core/SolverTypes.h b/src/prop/minisat/core/SolverTypes.h
index c3f4279cb..312d0b6de 100644
--- a/src/prop/minisat/core/SolverTypes.h
+++ b/src/prop/minisat/core/SolverTypes.h
@@ -18,7 +18,7 @@ DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE,
 OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
 **************************************************************************************************/
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef Minisat_SolverTypes_h
 #define Minisat_SolverTypes_h
diff --git a/src/prop/minisat/simp/SimpSolver.h b/src/prop/minisat/simp/SimpSolver.h
index 63a5a93fd..5e218419c 100644
--- a/src/prop/minisat/simp/SimpSolver.h
+++ b/src/prop/minisat/simp/SimpSolver.h
@@ -22,7 +22,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
 #define Minisat_SimpSolver_h
 
 #include "base/check.h"
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 #include "proof/clause_id.h"
 #include "prop/minisat/core/Solver.h"
 #include "prop/minisat/mtl/Queue.h"
diff --git a/src/prop/proof_cnf_stream.h b/src/prop/proof_cnf_stream.h
index 6299471dd..708441b0c 100644
--- a/src/prop/proof_cnf_stream.h
+++ b/src/prop/proof_cnf_stream.h
@@ -13,7 +13,7 @@
  * The proof-producing CNF stream.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__PROP__PROOF_CNF_STREAM_H
 #define CVC5__PROP__PROOF_CNF_STREAM_H
diff --git a/src/prop/proof_post_processor.h b/src/prop/proof_post_processor.h
index 1ec980868..b4a8d1b17 100644
--- a/src/prop/proof_post_processor.h
+++ b/src/prop/proof_post_processor.h
@@ -13,7 +13,7 @@
  * The module for processing proof nodes in the prop engine.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__PROP__PROOF_POST_PROCESSOR_H
 #define CVC5__PROP__PROOF_POST_PROCESSOR_H
diff --git a/src/prop/prop_engine.h b/src/prop/prop_engine.h
index ee2be0ca2..cae02eba2 100644
--- a/src/prop/prop_engine.h
+++ b/src/prop/prop_engine.h
@@ -15,7 +15,7 @@
  * Main interface point between cvc5's SMT infrastructure and the SAT solver.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__PROP_ENGINE_H
 #define CVC5__PROP_ENGINE_H
diff --git a/src/prop/prop_proof_manager.h b/src/prop/prop_proof_manager.h
index e6435213c..1374acf8d 100644
--- a/src/prop/prop_proof_manager.h
+++ b/src/prop/prop_proof_manager.h
@@ -13,7 +13,7 @@
  * The proof manager of PropEngine.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__PROP_PROOF_MANAGER_H
 #define CVC5__PROP_PROOF_MANAGER_H
diff --git a/src/prop/registrar.h b/src/prop/registrar.h
index 7b3419a0d..8ac568927 100644
--- a/src/prop/registrar.h
+++ b/src/prop/registrar.h
@@ -18,7 +18,7 @@
  * TheoryEngine class directly.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__PROP__REGISTRAR_H
 #define CVC5__PROP__REGISTRAR_H
diff --git a/src/prop/sat_proof_manager.h b/src/prop/sat_proof_manager.h
index 9cd5f944b..8f2923981 100644
--- a/src/prop/sat_proof_manager.h
+++ b/src/prop/sat_proof_manager.h
@@ -13,7 +13,7 @@
  * The proof manager for Minisat.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__SAT_PROOF_MANAGER_H
 #define CVC5__SAT_PROOF_MANAGER_H
diff --git a/src/prop/sat_solver.h b/src/prop/sat_solver.h
index ec2ebcd3e..cb8284831 100644
--- a/src/prop/sat_solver.h
+++ b/src/prop/sat_solver.h
@@ -13,7 +13,7 @@
  * SAT Solver.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__PROP__SAT_SOLVER_H
 #define CVC5__PROP__SAT_SOLVER_H
diff --git a/src/prop/sat_solver_factory.h b/src/prop/sat_solver_factory.h
index 413b0280c..e32cfca5e 100644
--- a/src/prop/sat_solver_factory.h
+++ b/src/prop/sat_solver_factory.h
@@ -13,7 +13,7 @@
  * SAT Solver creation facility
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__PROP__SAT_SOLVER_FACTORY_H
 #define CVC5__PROP__SAT_SOLVER_FACTORY_H
diff --git a/src/prop/sat_solver_types.h b/src/prop/sat_solver_types.h
index 20dc9a775..6b2a86536 100644
--- a/src/prop/sat_solver_types.h
+++ b/src/prop/sat_solver_types.h
@@ -23,13 +23,13 @@
 
 #pragma once
 
-#include "cvc4_private.h"
-
 #include <sstream>
 #include <string>
 #include <unordered_set>
 #include <vector>
 
+#include "cvc5_private.h"
+
 namespace cvc5 {
 namespace prop {
 
diff --git a/src/prop/skolem_def_manager.h b/src/prop/skolem_def_manager.h
index 6165ee593..9ddde3fb2 100644
--- a/src/prop/skolem_def_manager.h
+++ b/src/prop/skolem_def_manager.h
@@ -13,7 +13,7 @@
  * Skolem definition manager.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__PROP__SKOLEM_DEF_MANAGER_H
 #define CVC5__PROP__SKOLEM_DEF_MANAGER_H
diff --git a/src/prop/theory_proxy.h b/src/prop/theory_proxy.h
index 31f095749..5ba9ea50f 100644
--- a/src/prop/theory_proxy.h
+++ b/src/prop/theory_proxy.h
@@ -13,7 +13,7 @@
  * SAT Solver.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__PROP__SAT_H
 #define CVC5__PROP__SAT_H