Rename namespace CVC4 to CVC5. (#6249)

13 files changed, 13 insertions, 13 deletions

diff --git a/examples/api/bitvectors.cpp b/examples/api/bitvectors.cpp
index 6c0a1e875..1cbfdb031 100644
--- a/examples/api/bitvectors.cpp
+++ b/examples/api/bitvectors.cpp
@@ -19,7 +19,7 @@
 #include <cvc4/api/cvc4cpp.h>
 
 using namespace std;
-using namespace CVC4::api;
+using namespace CVC5::api;
 
 int main()
 {
diff --git a/examples/api/bitvectors_and_arrays.cpp b/examples/api/bitvectors_and_arrays.cpp
index ebc1da9fe..5c243e1d1 100644
--- a/examples/api/bitvectors_and_arrays.cpp
+++ b/examples/api/bitvectors_and_arrays.cpp
@@ -20,7 +20,7 @@
 #include <cvc4/api/cvc4cpp.h>
 
 using namespace std;
-using namespace CVC4::api;
+using namespace CVC5::api;
 
 int main()
 {
diff --git a/examples/api/combination.cpp b/examples/api/combination.cpp
index 9e0b47f33..2651bf80f 100644
--- a/examples/api/combination.cpp
+++ b/examples/api/combination.cpp
@@ -21,7 +21,7 @@
 #include <cvc4/api/cvc4cpp.h>
 
 using namespace std;
-using namespace CVC4::api;
+using namespace CVC5::api;
 
 void prefixPrintGetValue(Solver& slv, Term t, int level = 0)
 {
diff --git a/examples/api/datatypes.cpp b/examples/api/datatypes.cpp
index fcd2757d7..c2b3bc4c4 100644
--- a/examples/api/datatypes.cpp
+++ b/examples/api/datatypes.cpp
@@ -18,7 +18,7 @@
 
 #include <cvc4/api/cvc4cpp.h>
 
-using namespace CVC4::api;
+using namespace CVC5::api;
 
 void test(Solver& slv, Sort& consListSort)
 {
diff --git a/examples/api/extract.cpp b/examples/api/extract.cpp
index cbb1468b2..a6a43a7c2 100644
--- a/examples/api/extract.cpp
+++ b/examples/api/extract.cpp
@@ -19,7 +19,7 @@
 #include <cvc4/api/cvc4cpp.h>
 
 using namespace std;
-using namespace CVC4::api;
+using namespace CVC5::api;
 
 int main()
 {
diff --git a/examples/api/helloworld.cpp b/examples/api/helloworld.cpp
index 79477c9b8..89b0e212d 100644
--- a/examples/api/helloworld.cpp
+++ b/examples/api/helloworld.cpp
@@ -18,7 +18,7 @@
 
 #include <cvc4/api/cvc4cpp.h>
 
-using namespace CVC4::api;
+using namespace CVC5::api;
 
 int main()
 {
diff --git a/examples/api/linear_arith.cpp b/examples/api/linear_arith.cpp
index 039ae586f..ca3e8a2b9 100644
--- a/examples/api/linear_arith.cpp
+++ b/examples/api/linear_arith.cpp
@@ -20,7 +20,7 @@
 #include "cvc4/api/cvc4cpp.h"
 
 using namespace std;
-using namespace CVC4::api;
+using namespace CVC5::api;
 
 int main()
 {
diff --git a/examples/api/sequences.cpp b/examples/api/sequences.cpp
index ef479cbd3..6272b423b 100644
--- a/examples/api/sequences.cpp
+++ b/examples/api/sequences.cpp
@@ -18,7 +18,7 @@
 
 #include <iostream>
 
-using namespace CVC4::api;
+using namespace CVC5::api;
 
 int main()
 {
diff --git a/examples/api/sets.cpp b/examples/api/sets.cpp
index b1090d19b..cac705415 100644
--- a/examples/api/sets.cpp
+++ b/examples/api/sets.cpp
@@ -19,7 +19,7 @@
 #include <cvc4/api/cvc4cpp.h>
 
 using namespace std;
-using namespace CVC4::api;
+using namespace CVC5::api;
 
 int main()
 {
diff --git a/examples/api/strings.cpp b/examples/api/strings.cpp
index bae9c9ec2..b926395de 100644
--- a/examples/api/strings.cpp
+++ b/examples/api/strings.cpp
@@ -18,7 +18,7 @@
 
 #include <cvc4/api/cvc4cpp.h>
 
-using namespace CVC4::api;
+using namespace CVC5::api;
 
 int main()
 {
diff --git a/examples/api/sygus-fun.cpp b/examples/api/sygus-fun.cpp
index dc6f4df0f..a29cdb132 100644
--- a/examples/api/sygus-fun.cpp
+++ b/examples/api/sygus-fun.cpp
@@ -49,7 +49,7 @@
 
 #include <iostream>
 
-using namespace CVC4::api;
+using namespace CVC5::api;
 
 int main()
 {
diff --git a/examples/api/sygus-grammar.cpp b/examples/api/sygus-grammar.cpp
index 9dc801e66..6491dc0a5 100644
--- a/examples/api/sygus-grammar.cpp
+++ b/examples/api/sygus-grammar.cpp
@@ -46,7 +46,7 @@
 
 #include <iostream>
 
-using namespace CVC4::api;
+using namespace CVC5::api;
 
 int main()
 {
diff --git a/examples/api/sygus-inv.cpp b/examples/api/sygus-inv.cpp
index 8435eea44..206803eb6 100644
--- a/examples/api/sygus-inv.cpp
+++ b/examples/api/sygus-inv.cpp
@@ -37,7 +37,7 @@
 
 #include <iostream>
 
-using namespace CVC4::api;
+using namespace CVC5::api;
 
 int main()
 {