From 752156795348bf9e5d58e4203b3dc36356921a92 Mon Sep 17 00:00:00 2001
From: abid <chiheb.abid@gmail.com>
Date: Wed, 1 May 2019 23:39:00 +0100
Subject: [PATCH] =?UTF-8?q?*=20=09nouveau=20fichier=C2=A0:=20src/SogKripke?=
 =?UTF-8?q?Iterator.cpp=20=09nouveau=20fichier=C2=A0:=20src/SogKripkeItera?=
 =?UTF-8?q?tor.h=20=09nouveau=20fichier=C2=A0:=20src/SogKripkeState.cpp=20?=
 =?UTF-8?q?=09nouveau=20fichier=C2=A0:=20src/SogKripkeState.h?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/SogKripkeIterator     | 0
 src/SogKripkeIterator.cpp | 0
 src/SogKripkeIterator.h   | 6 ++++++
 src/SogKripkeState.cpp    | 0
 src/SogKripkeState.h      | 6 ++++++
 5 files changed, 12 insertions(+)
 create mode 100644 src/SogKripkeIterator
 create mode 100644 src/SogKripkeIterator.cpp
 create mode 100644 src/SogKripkeIterator.h
 create mode 100644 src/SogKripkeState.cpp
 create mode 100644 src/SogKripkeState.h

diff --git a/src/SogKripkeIterator b/src/SogKripkeIterator
new file mode 100644
index 0000000..e69de29
diff --git a/src/SogKripkeIterator.cpp b/src/SogKripkeIterator.cpp
new file mode 100644
index 0000000..e69de29
diff --git a/src/SogKripkeIterator.h b/src/SogKripkeIterator.h
new file mode 100644
index 0000000..eed3549
--- /dev/null
+++ b/src/SogKripkeIterator.h
@@ -0,0 +1,6 @@
+#ifndef SOGKRIPKEITERATOR_H_INCLUDED
+#define SOGKRIPKEITERATOR_H_INCLUDED
+
+
+
+#endif // SOGKRIPKEITERATOR_H_INCLUDED
diff --git a/src/SogKripkeState.cpp b/src/SogKripkeState.cpp
new file mode 100644
index 0000000..e69de29
diff --git a/src/SogKripkeState.h b/src/SogKripkeState.h
new file mode 100644
index 0000000..57c6dbe
--- /dev/null
+++ b/src/SogKripkeState.h
@@ -0,0 +1,6 @@
+#ifndef SOGKRIPKESTATE_H_INCLUDED
+#define SOGKRIPKESTATE_H_INCLUDED
+
+
+
+#endif // SOGKRIPKESTATE_H_INCLUDED
-- 
GitLab