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

31 files changed, 31 insertions, 31 deletions

diff --git a/src/theory/strings/arith_entail.h b/src/theory/strings/arith_entail.h
index 55876522e..64e76e5b6 100644
--- a/src/theory/strings/arith_entail.h
+++ b/src/theory/strings/arith_entail.h
@@ -13,7 +13,7 @@
  * Arithmetic entailment computation for string terms.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__STRINGS__ARITH_ENTAIL_H
 #define CVC5__THEORY__STRINGS__ARITH_ENTAIL_H
diff --git a/src/theory/strings/base_solver.h b/src/theory/strings/base_solver.h
index 0065c3f5a..41cb3e608 100644
--- a/src/theory/strings/base_solver.h
+++ b/src/theory/strings/base_solver.h
@@ -14,7 +14,7 @@
  * theory of strings.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__STRINGS__BASE_SOLVER_H
 #define CVC5__THEORY__STRINGS__BASE_SOLVER_H
diff --git a/src/theory/strings/core_solver.h b/src/theory/strings/core_solver.h
index e06d39446..143155f55 100644
--- a/src/theory/strings/core_solver.h
+++ b/src/theory/strings/core_solver.h
@@ -14,7 +14,7 @@
  * string concatenation plus length constraints.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__STRINGS__CORE_SOLVER_H
 #define CVC5__THEORY__STRINGS__CORE_SOLVER_H
diff --git a/src/theory/strings/eager_solver.h b/src/theory/strings/eager_solver.h
index d3077f44d..cf4062bfe 100644
--- a/src/theory/strings/eager_solver.h
+++ b/src/theory/strings/eager_solver.h
@@ -13,7 +13,7 @@
  * The eager solver.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__STRINGS__EAGER_SOLVER_H
 #define CVC5__THEORY__STRINGS__EAGER_SOLVER_H
diff --git a/src/theory/strings/eqc_info.h b/src/theory/strings/eqc_info.h
index f90dd9b87..1fd430c95 100644
--- a/src/theory/strings/eqc_info.h
+++ b/src/theory/strings/eqc_info.h
@@ -13,7 +13,7 @@
  * Equivalence class info for the theory of strings.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__STRINGS__EQC_INFO_H
 #define CVC5__THEORY__STRINGS__EQC_INFO_H
diff --git a/src/theory/strings/extf_solver.h b/src/theory/strings/extf_solver.h
index 6dfb3fa61..bfcf244d7 100644
--- a/src/theory/strings/extf_solver.h
+++ b/src/theory/strings/extf_solver.h
@@ -13,7 +13,7 @@
  * Solver for extended functions of theory of strings.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__STRINGS__EXTF_SOLVER_H
 #define CVC5__THEORY__STRINGS__EXTF_SOLVER_H
diff --git a/src/theory/strings/infer_info.h b/src/theory/strings/infer_info.h
index aab837826..22460d22d 100644
--- a/src/theory/strings/infer_info.h
+++ b/src/theory/strings/infer_info.h
@@ -13,7 +13,7 @@
  * Inference information utility.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__STRINGS__INFER_INFO_H
 #define CVC5__THEORY__STRINGS__INFER_INFO_H
diff --git a/src/theory/strings/infer_proof_cons.h b/src/theory/strings/infer_proof_cons.h
index 876a2c2a5..6b2c4dfc4 100644
--- a/src/theory/strings/infer_proof_cons.h
+++ b/src/theory/strings/infer_proof_cons.h
@@ -13,7 +13,7 @@
  * Inference to proof conversion.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__STRINGS__INFER_PROOF_CONS_H
 #define CVC5__THEORY__STRINGS__INFER_PROOF_CONS_H
diff --git a/src/theory/strings/inference_manager.h b/src/theory/strings/inference_manager.h
index 111542b02..b18c64319 100644
--- a/src/theory/strings/inference_manager.h
+++ b/src/theory/strings/inference_manager.h
@@ -13,7 +13,7 @@
  * Customized inference manager for the theory of strings.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__STRINGS__INFERENCE_MANAGER_H
 #define CVC5__THEORY__STRINGS__INFERENCE_MANAGER_H
diff --git a/src/theory/strings/normal_form.h b/src/theory/strings/normal_form.h
index d42c003bf..e3291e9bb 100644
--- a/src/theory/strings/normal_form.h
+++ b/src/theory/strings/normal_form.h
@@ -13,7 +13,7 @@
  * Normal form datastructure for the theory of strings.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__STRINGS__NORMAL_FORM_H
 #define CVC5__THEORY__STRINGS__NORMAL_FORM_H
diff --git a/src/theory/strings/proof_checker.h b/src/theory/strings/proof_checker.h
index d3b17e2d2..d3ede53ec 100644
--- a/src/theory/strings/proof_checker.h
+++ b/src/theory/strings/proof_checker.h
@@ -13,7 +13,7 @@
  * Strings proof checker utility.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__STRINGS__PROOF_CHECKER_H
 #define CVC5__THEORY__STRINGS__PROOF_CHECKER_H
diff --git a/src/theory/strings/regexp_elim.h b/src/theory/strings/regexp_elim.h
index e6d6702b7..5387548de 100644
--- a/src/theory/strings/regexp_elim.h
+++ b/src/theory/strings/regexp_elim.h
@@ -13,7 +13,7 @@
  * Techniques for eliminating regular expressions.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 #ifndef CVC5__THEORY__STRINGS__REGEXP_ELIM_H
 #define CVC5__THEORY__STRINGS__REGEXP_ELIM_H
 
diff --git a/src/theory/strings/regexp_entail.h b/src/theory/strings/regexp_entail.h
index 752ae5a69..44f0815b7 100644
--- a/src/theory/strings/regexp_entail.h
+++ b/src/theory/strings/regexp_entail.h
@@ -13,7 +13,7 @@
  * Entailment tests involving regular expressions.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__STRINGS__REGEXP_ENTAIL_H
 #define CVC5__THEORY__STRINGS__REGEXP_ENTAIL_H
diff --git a/src/theory/strings/regexp_operation.h b/src/theory/strings/regexp_operation.h
index ba0d7e2cc..d0ed07308 100644
--- a/src/theory/strings/regexp_operation.h
+++ b/src/theory/strings/regexp_operation.h
@@ -13,7 +13,7 @@
  * Symbolic Regular Expression Operations
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__STRINGS__REGEXP__OPERATION_H
 #define CVC5__THEORY__STRINGS__REGEXP__OPERATION_H
diff --git a/src/theory/strings/regexp_solver.h b/src/theory/strings/regexp_solver.h
index d18c1998d..bf148a071 100644
--- a/src/theory/strings/regexp_solver.h
+++ b/src/theory/strings/regexp_solver.h
@@ -13,7 +13,7 @@
  * Regular expression solver for the theory of strings.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__STRINGS__REGEXP_SOLVER_H
 #define CVC5__THEORY__STRINGS__REGEXP_SOLVER_H
diff --git a/src/theory/strings/rewrites.h b/src/theory/strings/rewrites.h
index b4d6739f5..0173d309a 100644
--- a/src/theory/strings/rewrites.h
+++ b/src/theory/strings/rewrites.h
@@ -13,7 +13,7 @@
  * Type for rewrites for strings.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__STRINGS__REWRITES_H
 #define CVC5__THEORY__STRINGS__REWRITES_H
diff --git a/src/theory/strings/sequences_rewriter.h b/src/theory/strings/sequences_rewriter.h
index 6a337568c..1564a5ebc 100644
--- a/src/theory/strings/sequences_rewriter.h
+++ b/src/theory/strings/sequences_rewriter.h
@@ -13,7 +13,7 @@
  * Rewriter for the theory of strings and sequences.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__STRINGS__SEQUENCES_REWRITER_H
 #define CVC5__THEORY__STRINGS__SEQUENCES_REWRITER_H
diff --git a/src/theory/strings/sequences_stats.h b/src/theory/strings/sequences_stats.h
index 891497ead..e442fcc0c 100644
--- a/src/theory/strings/sequences_stats.h
+++ b/src/theory/strings/sequences_stats.h
@@ -13,7 +13,7 @@
  * Statistics for the theory of strings/sequences.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__STRINGS__SEQUENCES_STATS_H
 #define CVC5__THEORY__STRINGS__SEQUENCES_STATS_H
diff --git a/src/theory/strings/skolem_cache.h b/src/theory/strings/skolem_cache.h
index d64e4d5ae..b3ffa784f 100644
--- a/src/theory/strings/skolem_cache.h
+++ b/src/theory/strings/skolem_cache.h
@@ -13,7 +13,7 @@
  * A cache of skolems for theory of strings.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__STRINGS__SKOLEM_CACHE_H
 #define CVC5__THEORY__STRINGS__SKOLEM_CACHE_H
diff --git a/src/theory/strings/solver_state.h b/src/theory/strings/solver_state.h
index d63d2b63b..422c29760 100644
--- a/src/theory/strings/solver_state.h
+++ b/src/theory/strings/solver_state.h
@@ -13,7 +13,7 @@
  * The solver state of the theory of strings.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__STRINGS__SOLVER_STATE_H
 #define CVC5__THEORY__STRINGS__SOLVER_STATE_H
diff --git a/src/theory/strings/strategy.h b/src/theory/strings/strategy.h
index 94d87c87e..c390c5594 100644
--- a/src/theory/strings/strategy.h
+++ b/src/theory/strings/strategy.h
@@ -13,7 +13,7 @@
  * Strategy of the theory of strings.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__STRINGS__STRATEGY_H
 #define CVC5__THEORY__STRINGS__STRATEGY_H
diff --git a/src/theory/strings/strings_entail.h b/src/theory/strings/strings_entail.h
index 0a66f3126..7547bf809 100644
--- a/src/theory/strings/strings_entail.h
+++ b/src/theory/strings/strings_entail.h
@@ -13,7 +13,7 @@
  * Entailment tests involving strings.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__STRINGS__STRING_ENTAIL_H
 #define CVC5__THEORY__STRINGS__STRING_ENTAIL_H
diff --git a/src/theory/strings/strings_fmf.h b/src/theory/strings/strings_fmf.h
index f29e74e40..ba9f0f4e1 100644
--- a/src/theory/strings/strings_fmf.h
+++ b/src/theory/strings/strings_fmf.h
@@ -13,7 +13,7 @@
  * A finite model finding decision strategy for strings.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__STRINGS__STRINGS_FMF_H
 #define CVC5__THEORY__STRINGS__STRINGS_FMF_H
diff --git a/src/theory/strings/strings_rewriter.h b/src/theory/strings/strings_rewriter.h
index 1f0b13d5f..bfe780535 100644
--- a/src/theory/strings/strings_rewriter.h
+++ b/src/theory/strings/strings_rewriter.h
@@ -13,7 +13,7 @@
  * Rewrite rules for string-specific operators in theory of strings.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__STRINGS__STRINGS_REWRITER_H
 #define CVC5__THEORY__STRINGS__STRINGS_REWRITER_H
diff --git a/src/theory/strings/term_registry.h b/src/theory/strings/term_registry.h
index 1f0b7c975..f0543c282 100644
--- a/src/theory/strings/term_registry.h
+++ b/src/theory/strings/term_registry.h
@@ -13,7 +13,7 @@
  * Term registry for the theory of strings.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__STRINGS__TERM_REGISTRY_H
 #define CVC5__THEORY__STRINGS__TERM_REGISTRY_H
diff --git a/src/theory/strings/theory_strings.h b/src/theory/strings/theory_strings.h
index 4da1ae670..fb6df80c7 100644
--- a/src/theory/strings/theory_strings.h
+++ b/src/theory/strings/theory_strings.h
@@ -13,7 +13,7 @@
  * Theory of strings.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__STRINGS__THEORY_STRINGS_H
 #define CVC5__THEORY__STRINGS__THEORY_STRINGS_H
diff --git a/src/theory/strings/theory_strings_preprocess.h b/src/theory/strings/theory_strings_preprocess.h
index 1639f3aa6..fe190532d 100644
--- a/src/theory/strings/theory_strings_preprocess.h
+++ b/src/theory/strings/theory_strings_preprocess.h
@@ -13,7 +13,7 @@
  * Strings Preprocess.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__STRINGS__PREPROCESS_H
 #define CVC5__THEORY__STRINGS__PREPROCESS_H
diff --git a/src/theory/strings/theory_strings_type_rules.h b/src/theory/strings/theory_strings_type_rules.h
index 496599252..4631b33c7 100644
--- a/src/theory/strings/theory_strings_type_rules.h
+++ b/src/theory/strings/theory_strings_type_rules.h
@@ -13,7 +13,7 @@
  * Typing rules for the theory of strings and regexps.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__STRINGS__THEORY_STRINGS_TYPE_RULES_H
 #define CVC5__THEORY__STRINGS__THEORY_STRINGS_TYPE_RULES_H
diff --git a/src/theory/strings/theory_strings_utils.h b/src/theory/strings/theory_strings_utils.h
index 8423e1f61..ec093031e 100644
--- a/src/theory/strings/theory_strings_utils.h
+++ b/src/theory/strings/theory_strings_utils.h
@@ -13,7 +13,7 @@
  * Util functions for theory strings.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__STRINGS__THEORY_STRINGS_UTILS_H
 #define CVC5__THEORY__STRINGS__THEORY_STRINGS_UTILS_H
diff --git a/src/theory/strings/type_enumerator.h b/src/theory/strings/type_enumerator.h
index a32b94d16..37319a278 100644
--- a/src/theory/strings/type_enumerator.h
+++ b/src/theory/strings/type_enumerator.h
@@ -13,7 +13,7 @@
  * Enumerators for strings.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__STRINGS__TYPE_ENUMERATOR_H
 #define CVC5__THEORY__STRINGS__TYPE_ENUMERATOR_H
diff --git a/src/theory/strings/word.h b/src/theory/strings/word.h
index 90a8306f9..18bdad8b7 100644
--- a/src/theory/strings/word.h
+++ b/src/theory/strings/word.h
@@ -13,7 +13,7 @@
  * Utility functions for words.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__STRINGS__WORD_H
 #define CVC5__THEORY__STRINGS__WORD_H