Move all header files into a sparta directory

Summary: All sparta header files are currently in the root of the include directory. It is usually recommended to have all the header files of a library under a single directory (e.g, `boost/`, `fmt/`, etc.). This avoids name conflicts in the root. Let's move all header files under a `sparta` directory. Reviewed By: arnaudvenet Differential Revision: D47903172 fbshipit-source-id: 5542009aaa72f57b527b4b5daeddeee525275f7e
facebook · Aug 2, 2023 · 95737fb · 95737fb
1 parent 9191e87
commit 95737fb
Show file tree

Hide file tree

Showing 57 changed files with 99 additions and 102 deletions.
diff --git a/include/AbstractDomain.h → include/sparta/AbstractDomain.h b/include/AbstractDomain.h → include/sparta/AbstractDomain.h
@@ -13,7 +13,7 @@
 #include <type_traits>
 #include <utility>
 
-#include "Exceptions.h"
+#include <sparta/Exceptions.h>
 
 namespace sparta {
 namespace ad_impl {

diff --git a/include/Analyzer.h → include/sparta/Analyzer.h b/include/Analyzer.h → include/sparta/Analyzer.h
@@ -14,7 +14,7 @@
 #include <unordered_map>
 #include <vector>
 
-#include "AbstractDomain.h"
+#include <sparta/AbstractDomain.h>
 
 namespace sparta {
 

diff --git a/include/Arity.h → include/sparta/Arity.h b/include/Arity.h → include/sparta/Arity.h
diff --git a/include/ConstantAbstractDomain.h → include/sparta/ConstantAbstractDomain.h b/include/ConstantAbstractDomain.h → include/sparta/ConstantAbstractDomain.h
@@ -15,7 +15,7 @@
 #include <boost/intrusive/pointer_plus_bits.hpp>
 #include <boost/optional.hpp>
 
-#include "AbstractDomain.h"
+#include <sparta/AbstractDomain.h>
 
 namespace sparta {
 

diff --git a/include/DirectProductAbstractDomain.h → include/sparta/DirectProductAbstractDomain.h b/include/DirectProductAbstractDomain.h → include/sparta/DirectProductAbstractDomain.h
@@ -15,7 +15,7 @@
 #include <tuple>
 #include <type_traits>
 
-#include "AbstractDomain.h"
+#include <sparta/AbstractDomain.h>
 
 // Forward declarations.
 namespace sparta {

diff --git a/include/DisjointUnionAbstractDomain.h → include/sparta/DisjointUnionAbstractDomain.h b/include/DisjointUnionAbstractDomain.h → include/sparta/DisjointUnionAbstractDomain.h
@@ -12,7 +12,7 @@
 #include <sstream>
 #include <type_traits>
 
-#include "AbstractDomain.h"
+#include <sparta/AbstractDomain.h>
 
 // Forward declarations.
 namespace sparta {

diff --git a/include/Exceptions.h → include/sparta/Exceptions.h b/include/Exceptions.h → include/sparta/Exceptions.h
diff --git a/include/FiniteAbstractDomain.h → include/sparta/FiniteAbstractDomain.h b/include/FiniteAbstractDomain.h → include/sparta/FiniteAbstractDomain.h
@@ -23,8 +23,8 @@
 #include <boost/integer.hpp>
 #include <boost/multiprecision/cpp_int.hpp>
 
-#include "AbstractDomain.h"
-#include "Exceptions.h"
+#include <sparta/AbstractDomain.h>
+#include <sparta/Exceptions.h>
 
 namespace sparta {
 

diff --git a/include/FixpointIterator.h → include/sparta/FixpointIterator.h b/include/FixpointIterator.h → include/sparta/FixpointIterator.h
@@ -7,7 +7,7 @@
 
 #pragma once
 
-#include "AbstractDomain.h"
+#include <sparta/AbstractDomain.h>
 
 namespace sparta {
 

diff --git a/include/FlatSet.h → include/sparta/FlatSet.h b/include/FlatSet.h → include/sparta/FlatSet.h
@@ -14,7 +14,7 @@
 #include <ostream>
 #include <vector>
 
-#include "PatriciaTreeUtil.h"
+#include <sparta/PatriciaTreeUtil.h>
 
 namespace sparta {
 

diff --git a/include/HashedAbstractEnvironment.h → include/sparta/HashedAbstractEnvironment.h b/include/HashedAbstractEnvironment.h → include/sparta/HashedAbstractEnvironment.h
@@ -15,7 +15,7 @@
 #include <unordered_map>
 #include <utility>
 
-#include "AbstractDomain.h"
+#include <sparta/AbstractDomain.h>
 
 namespace sparta {
 

diff --git a/include/HashedAbstractPartition.h → include/sparta/HashedAbstractPartition.h b/include/HashedAbstractPartition.h → include/sparta/HashedAbstractPartition.h
@@ -15,7 +15,7 @@
 #include <unordered_map>
 #include <utility>
 
-#include "AbstractDomain.h"
+#include <sparta/AbstractDomain.h>
 
 namespace sparta {
 

diff --git a/include/HashedSetAbstractDomain.h → include/sparta/HashedSetAbstractDomain.h b/include/HashedSetAbstractDomain.h → include/sparta/HashedSetAbstractDomain.h
@@ -12,7 +12,7 @@
 #include <memory>
 #include <unordered_set>
 
-#include "PowersetAbstractDomain.h"
+#include <sparta/PowersetAbstractDomain.h>
 
 namespace sparta {
 

diff --git a/include/IntervalDomain.h → include/sparta/IntervalDomain.h b/include/IntervalDomain.h → include/sparta/IntervalDomain.h
@@ -11,7 +11,7 @@
 #include <limits>
 #include <ostream>
 
-#include "AbstractDomain.h"
+#include <sparta/AbstractDomain.h>
 
 namespace sparta {
 

diff --git a/include/LiftedDomain.h → include/sparta/LiftedDomain.h b/include/LiftedDomain.h → include/sparta/LiftedDomain.h
@@ -11,8 +11,8 @@
 #include <ostream>
 #include <type_traits>
 
-#include "AbstractDomain.h"
-#include "Exceptions.h"
+#include <sparta/AbstractDomain.h>
+#include <sparta/Exceptions.h>
 
 namespace sparta {
 

diff --git a/include/MonotonicFixpointIterator.h → include/sparta/MonotonicFixpointIterator.h b/include/MonotonicFixpointIterator.h → include/sparta/MonotonicFixpointIterator.h
@@ -15,11 +15,11 @@
 #include <unordered_map>
 #include <vector>
 
-#include "AbstractDomain.h"
-#include "FixpointIterator.h"
-#include "SpartaWorkQueue.h"
-#include "WeakPartialOrdering.h"
-#include "WeakTopologicalOrdering.h"
+#include <sparta/AbstractDomain.h>
+#include <sparta/FixpointIterator.h>
+#include <sparta/SpartaWorkQueue.h>
+#include <sparta/WeakPartialOrdering.h>
+#include <sparta/WeakTopologicalOrdering.h>
 
 namespace sparta {
 

diff --git a/include/PatriciaTreeCore.h → include/sparta/PatriciaTreeCore.h b/include/PatriciaTreeCore.h → include/sparta/PatriciaTreeCore.h
@@ -21,9 +21,9 @@
 #include <boost/intrusive_ptr.hpp>
 #include <boost/optional.hpp>
 
-#include "AbstractDomain.h"
-#include "Exceptions.h"
-#include "PatriciaTreeUtil.h"
+#include <sparta/AbstractDomain.h>
+#include <sparta/Exceptions.h>
+#include <sparta/PatriciaTreeUtil.h>
 
 namespace sparta {
 

diff --git a/include/PatriciaTreeMap.h → include/sparta/PatriciaTreeMap.h b/include/PatriciaTreeMap.h → include/sparta/PatriciaTreeMap.h
@@ -16,9 +16,9 @@
 
 #include <boost/optional.hpp>
 
-#include "Exceptions.h"
-#include "PatriciaTreeCore.h"
-#include "PatriciaTreeUtil.h"
+#include <sparta/Exceptions.h>
+#include <sparta/PatriciaTreeCore.h>
+#include <sparta/PatriciaTreeUtil.h>
 
 // Forward declarations
 namespace sparta {

diff --git a/include/PatriciaTreeMapAbstractEnvironment.h → ...arta/PatriciaTreeMapAbstractEnvironment.h b/include/PatriciaTreeMapAbstractEnvironment.h → ...arta/PatriciaTreeMapAbstractEnvironment.h
@@ -15,8 +15,8 @@
 #include <unordered_map>
 #include <utility>
 
-#include "AbstractDomain.h"
-#include "PatriciaTreeMap.h"
+#include <sparta/AbstractDomain.h>
+#include <sparta/PatriciaTreeMap.h>
 
 namespace sparta {
 

diff --git a/include/PatriciaTreeMapAbstractPartition.h → ...sparta/PatriciaTreeMapAbstractPartition.h b/include/PatriciaTreeMapAbstractPartition.h → ...sparta/PatriciaTreeMapAbstractPartition.h
@@ -15,8 +15,8 @@
 #include <ostream>
 #include <utility>
 
-#include "AbstractDomain.h"
-#include "PatriciaTreeMap.h"
+#include <sparta/AbstractDomain.h>
+#include <sparta/PatriciaTreeMap.h>
 
 namespace sparta {
 

diff --git a/.../PatriciaTreeOverUnderSetAbstractDomain.h → .../PatriciaTreeOverUnderSetAbstractDomain.h b/.../PatriciaTreeOverUnderSetAbstractDomain.h → .../PatriciaTreeOverUnderSetAbstractDomain.h
@@ -9,9 +9,9 @@
 
 #include <initializer_list>
 
-#include "AbstractDomain.h"
-#include "Exceptions.h"
-#include "PatriciaTreeSet.h"
+#include <sparta/AbstractDomain.h>
+#include <sparta/Exceptions.h>
+#include <sparta/PatriciaTreeSet.h>
 
 namespace sparta {
 

diff --git a/include/PatriciaTreeSet.h → include/sparta/PatriciaTreeSet.h b/include/PatriciaTreeSet.h → include/sparta/PatriciaTreeSet.h
@@ -15,9 +15,9 @@
 #include <type_traits>
 #include <utility>
 
-#include "Exceptions.h"
-#include "PatriciaTreeCore.h"
-#include "PatriciaTreeUtil.h"
+#include <sparta/Exceptions.h>
+#include <sparta/PatriciaTreeCore.h>
+#include <sparta/PatriciaTreeUtil.h>
 
 namespace sparta {
 

diff --git a/include/PatriciaTreeSetAbstractDomain.h → ...de/sparta/PatriciaTreeSetAbstractDomain.h b/include/PatriciaTreeSetAbstractDomain.h → ...de/sparta/PatriciaTreeSetAbstractDomain.h
@@ -11,8 +11,8 @@
 #include <initializer_list>
 #include <unordered_set>
 
-#include "PatriciaTreeSet.h"
-#include "PowersetAbstractDomain.h"
+#include <sparta/PatriciaTreeSet.h>
+#include <sparta/PowersetAbstractDomain.h>
 
 namespace sparta {
 

diff --git a/include/PatriciaTreeUtil.h → include/sparta/PatriciaTreeUtil.h b/include/PatriciaTreeUtil.h → include/sparta/PatriciaTreeUtil.h
diff --git a/include/PowersetAbstractDomain.h → include/sparta/PowersetAbstractDomain.h b/include/PowersetAbstractDomain.h → include/sparta/PowersetAbstractDomain.h
@@ -13,7 +13,7 @@
 #include <sstream>
 #include <type_traits>
 
-#include "AbstractDomain.h"
+#include <sparta/AbstractDomain.h>
 
 namespace sparta {
 namespace pad_impl {

diff --git a/include/ReducedProductAbstractDomain.h → ...ude/sparta/ReducedProductAbstractDomain.h b/include/ReducedProductAbstractDomain.h → ...ude/sparta/ReducedProductAbstractDomain.h
@@ -15,7 +15,7 @@
 #include <tuple>
 #include <type_traits>
 
-#include "DirectProductAbstractDomain.h"
+#include <sparta/DirectProductAbstractDomain.h>
 
 namespace sparta {
 namespace rpad_impl {

diff --git a/include/S_Expression.h → include/sparta/S_Expression.h b/include/S_Expression.h → include/sparta/S_Expression.h
@@ -27,7 +27,7 @@
 #include <boost/intrusive_ptr.hpp>
 #include <boost/optional.hpp>
 
-#include "Exceptions.h"
+#include <sparta/Exceptions.h>
 
 namespace sparta {
 

diff --git a/include/SmallSortedSetAbstractDomain.h → ...ude/sparta/SmallSortedSetAbstractDomain.h b/include/SmallSortedSetAbstractDomain.h → ...ude/sparta/SmallSortedSetAbstractDomain.h
@@ -9,9 +9,9 @@
 
 #include <initializer_list>
 
-#include "AbstractDomain.h"
-#include "Exceptions.h"
-#include "FlatSet.h"
+#include <sparta/AbstractDomain.h>
+#include <sparta/Exceptions.h>
+#include <sparta/FlatSet.h>
 
 namespace sparta {
 

diff --git a/include/SparseSetAbstractDomain.h → include/sparta/SparseSetAbstractDomain.h b/include/SparseSetAbstractDomain.h → include/sparta/SparseSetAbstractDomain.h
@@ -11,7 +11,7 @@
 #include <ostream>
 #include <vector>
 
-#include "PowersetAbstractDomain.h"
+#include <sparta/PowersetAbstractDomain.h>
 
 namespace sparta {
 

diff --git a/include/SpartaWorkQueue.h → include/sparta/SpartaWorkQueue.h b/include/SpartaWorkQueue.h → include/sparta/SpartaWorkQueue.h
@@ -21,7 +21,7 @@
 #include <thread>
 #include <utility>
 
-#include "Arity.h"
+#include <sparta/Arity.h>
 
 namespace sparta {
 

diff --git a/include/WeakPartialOrdering.h → include/sparta/WeakPartialOrdering.h b/include/WeakPartialOrdering.h → include/sparta/WeakPartialOrdering.h
@@ -32,7 +32,7 @@
 #include <utility>
 #include <vector>
 
-#include "Exceptions.h"
+#include <sparta/Exceptions.h>
 
 namespace sparta {
 

diff --git a/include/WeakTopologicalOrdering.h → include/sparta/WeakTopologicalOrdering.h b/include/WeakTopologicalOrdering.h → include/sparta/WeakTopologicalOrdering.h
@@ -17,7 +17,7 @@
 #include <unordered_map>
 #include <vector>
 
-#include "Exceptions.h"
+#include <sparta/Exceptions.h>
 
 namespace sparta {
 

diff --git a/test/AbstractDomainPropertyTest.h b/test/AbstractDomainPropertyTest.h
@@ -9,7 +9,7 @@
 
 #include <gtest/gtest.h>
 
-#include "AbstractDomain.h"
+#include <sparta/AbstractDomain.h>
 
 /*
  * Scaffold for testing that implementations of AbstractDomain satisfy various

diff --git a/test/DirectProductAbstractDomainTest.cpp b/test/DirectProductAbstractDomainTest.cpp
@@ -5,15 +5,15 @@
  * LICENSE file in the root directory of this source tree.
  */
 
-#include "DirectProductAbstractDomain.h"
+#include <sparta/DirectProductAbstractDomain.h>
+#include <sparta/FiniteAbstractDomain.h>
+#include <sparta/HashedAbstractPartition.h>
 
 #include <gtest/gtest.h>
 #include <sstream>
 #include <tuple>
 
 #include "AbstractDomainPropertyTest.h"
-#include "FiniteAbstractDomain.h"
-#include "HashedAbstractPartition.h"
 
 using namespace sparta;
 

diff --git a/test/DisjointUnionAbstractDomainTest.cpp b/test/DisjointUnionAbstractDomainTest.cpp
@@ -8,9 +8,9 @@
 // Because of the rules of argument-dependent lookup, we need to include the
 // definition of operator<< for ConstantAbstractDomain before that of operator<<
 // for DisjointUnionAbstractDomain.
-#include "ConstantAbstractDomain.h"
+#include <sparta/ConstantAbstractDomain.h>
 
-#include "DisjointUnionAbstractDomain.h"
+#include <sparta/DisjointUnionAbstractDomain.h>
 
 #include <gtest/gtest.h>
 #include <string>

diff --git a/test/FiniteAbstractDomainTest.cpp b/test/FiniteAbstractDomainTest.cpp
@@ -5,7 +5,7 @@
  * LICENSE file in the root directory of this source tree.
  */
 
-#include "FiniteAbstractDomain.h"
+#include <sparta/FiniteAbstractDomain.h>
 
 #include <gtest/gtest.h>
 #include <sstream>

diff --git a/test/HashedAbstractEnvironmentTest.cpp b/test/HashedAbstractEnvironmentTest.cpp
@@ -5,15 +5,14 @@
  * LICENSE file in the root directory of this source tree.
  */
 
-#include "HashedAbstractEnvironment.h"
+#include <sparta/HashedAbstractEnvironment.h>
+#include <sparta/HashedSetAbstractDomain.h>
 
 #include <gmock/gmock.h>
 #include <gtest/gtest.h>
 #include <sstream>
 #include <string>
 
-#include "HashedSetAbstractDomain.h"
-
 using namespace sparta;
 
 using Domain = HashedSetAbstractDomain<std::string>;

diff --git a/test/HashedAbstractPartitionTest.cpp b/test/HashedAbstractPartitionTest.cpp
@@ -5,15 +5,14 @@
  * LICENSE file in the root directory of this source tree.
  */
 
-#include "HashedAbstractPartition.h"
+#include <sparta/HashedAbstractPartition.h>
+#include <sparta/HashedSetAbstractDomain.h>
 
 #include <gmock/gmock.h>
 #include <gtest/gtest.h>
 #include <sstream>
 #include <string>
 
-#include "HashedSetAbstractDomain.h"
-
 using namespace sparta;
 
 using Domain = HashedSetAbstractDomain<std::string>;

diff --git a/test/HashedSetAbstractDomainTest.cpp b/test/HashedSetAbstractDomainTest.cpp
@@ -5,7 +5,7 @@
  * LICENSE file in the root directory of this source tree.
  */
 
-#include "HashedSetAbstractDomain.h"
+#include <sparta/HashedSetAbstractDomain.h>
 
 #include <gmock/gmock.h>
 #include <gtest/gtest.h>