Mark internal headers private (#362)

Also removed some unused headers and fixed some formatting errors.

include/exceptions.h

@@ -14,6 +14,8 @@
 **
 **/
 
+// IWYU pragma: private, include "smt.h"
+
 #pragma once
 
 #include <exception>

include/ops.h

@@ -14,6 +14,8 @@
 **
 **/
 
+// IWYU pragma: private, include "smt.h"
+
 #pragma once
 
 #include <cstdint>
@@ -191,7 +193,7 @@ namespace std
         return str_hash(o.to_string());
       }
     };
-}
+}  // namespace std
 
 namespace smt {
 // ops that can be applied to n arguments

include/smt_defs.h

@@ -14,6 +14,8 @@
 **
 **/
 
+// IWYU pragma: private, include "smt.h"
+
 #pragma once
 
 #include <memory>
@@ -42,4 +44,3 @@ class AbsDatatype;
 using Datatype = std::shared_ptr<AbsDatatype>;
 
 }  // namespace smt
-

include/solver.h

@@ -14,6 +14,8 @@
 **
 **/
 
+// IWYU pragma: private, include "smt.h"
+
 #pragma once
 
 #include <string>

include/solver_enums.h

@@ -14,6 +14,8 @@
 **
 **/
 
+// IWYU pragma: private, include "smt.h"
+
 #pragma once
 
 #include <unordered_set>

include/sort.h

@@ -14,14 +14,14 @@
 **
 **/
 
+// IWYU pragma: private, include "smt.h"
+
 #pragma once
 
 #include <string>
 #include <unordered_set>
 #include <vector>
 
-#include "ops.h"
-#include "datatype.h"
 #include "smt_defs.h"
 
 // Sort needs to have arguments
@@ -113,5 +113,4 @@ struct hash<smt::Sort>
 {
   size_t operator()(const smt::Sort & s) const { return s->hash(); }
 };
-}
-
+}  // namespace std

include/term.h

@@ -14,6 +14,8 @@
 **
 **/
 
+// IWYU pragma: private, include "smt.h"
+
 #pragma once
 
 #include <iostream>
@@ -193,4 +195,3 @@ namespace std
     }
   };
 }
-

include/term_translator.h

@@ -14,6 +14,8 @@
 **        symbols, which would throw an exception).
 **/
 
+// IWYU pragma: private, include "smt.h"
+
 #pragma once
 
 #include <unordered_map>
@@ -156,4 +158,3 @@ class TermTranslator
   std::unordered_map<std::string, Sort> uninterpreted_sorts;
 };
 }  // namespace smt
-