Specify how to use the BSD

src/BSD.h

+
+
 class	BDD_node{
 public:
 	int	left_node_index		=	0;
@@ -1566,3 +1568,4 @@ void BDD_class::BSD_switch_layer(int i){
 	BDD_split_nodes_each_layer[i+1] = lr_split_nodes;
 	//}
 }
+

src/head.h

+#include<stdlib.h>
+#include<stdio.h>
+#include<stdbool.h>
+#include<iostream>
+#include<iomanip>
+#include<algorithm>
+#include<math.h>
+#include<sys/time.h>
+#include<functional>
+#include<string>
+#include<fstream>
+#include<sstream>
+#include<vector>
+#include<dirent.h>
+#include<stdint.h>
+#include<omp.h>
+#include<unistd.h>
+#include<random>
+#include <stdexcept>
+#include <unordered_map>
+#define XXH_STATIC_LINKING_ONLY /* access advanced declarations */
+#define XXH_IMPLEMENTATION      /* access definitions */
+#include"json.hpp"
+#include"xxhash.h"
+
+using namespace std;
+
+
+

src/top.h

+#include "head.h"
+
 #define INPUT_AIG	//是否可以用uint按位操作进行加速
 #define SINGLE_BITS	//是否包含每一个bit单独的io generator
 #include       "io_generator/c432.h"
@@ -18,5 +20,3 @@ extern const int	parameter_io_file_lines		= 2;		//在sample_input.set文件中
 
 extern const int 	parameter_num_threads		= 32;		//线程数
 
-
-