From acabab47b30d277effdee2db4371275b5f02f1a4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Do=C4=9Fan=20Ulus?= <dogan.ulus@boun.edu.tr>
Date: Tue, 20 Jun 2023 19:52:06 +0300
Subject: [PATCH] Create bdd.hpp

---
 include/rvstd/bdd/bdd.hpp | 41 +++++++++++++++++++++++++++++++++++++++
 1 file changed, 41 insertions(+)
 create mode 100644 include/rvstd/bdd/bdd.hpp

diff --git a/include/rvstd/bdd/bdd.hpp b/include/rvstd/bdd/bdd.hpp
new file mode 100644
index 0000000..021afc8
--- /dev/null
+++ b/include/rvstd/bdd/bdd.hpp
@@ -0,0 +1,41 @@
+/*
+ * Copyright (c) 2023 for portions of the project HermesBDD are held by 
+ *   Luigi Capogrosso, 
+ *   Luca Geretti, 
+ *   Marco Cristani, 
+ *   Franco Fummi, and 
+ *   Tiziano Villa.
+ *
+ * Copyright (c) for the project RVSTD are held by Dogan Ulus, 2023.
+ */
+
+#ifndef BDD_HPP
+#define BDD_HPP
+
+#include <set>
+#include <unordered_map>
+
+namespace rvstd {
+struct bdd {
+
+    /*!
+     * @brief '<bdd>' empty constructor.
+     */
+    bdd();
+
+    /*!
+     * @brief Representation of literal '<v>'.
+     * @param v
+     */
+    bdd(uint32_t v);
+
+    /// Representation of constant 'true'
+    static bdd true_;
+
+    /// Representation of constant 'false'
+    static bdd false_;
+
+};
+}  // namespace rvstd
+
+#endif