From f276ae9a5ca9796c96489e2dc0d181737388d839 Mon Sep 17 00:00:00 2001
From: domensta <dominique.monnet@ensta-bretagne.org>
Date: Mon, 16 Feb 2015 11:32:46 +0100
Subject: [PATCH] Create ibex_SetNode.cpp

SetNode.cpp associated to regular i-set.
---
 ibex_SetNode.cpp | 56 ++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 56 insertions(+)
 create mode 100644 ibex_SetNode.cpp

diff --git a/ibex_SetNode.cpp b/ibex_SetNode.cpp
new file mode 100644
index 000000000..35824f5f9
--- /dev/null
+++ b/ibex_SetNode.cpp
@@ -0,0 +1,56 @@
+//============================================================================
+//                                  I B E X                                   
+// File        : ibex_SetNode.cpp
+// Author      : Gilles Chabert
+// Copyright   : Ecole des Mines de Nantes (France)
+// License     : See the LICENSE file
+// Created     : 13 juil. 2014
+//============================================================================
+
+#include "ibex_SetNode.h"
+#include "ibex_SetLeaf.h"
+#include "ibex_SetBisect.h"
+ #include <unistd.h>
+
+using namespace std;
+
+// =========== shortcuts ==================
+#define IN         __IBEX_IN__
+#define OUT        __IBEX_OUT__
+#define UNK        __IBEX_UNK__
+#define UNK_IN     __IBEX_UNK_IN__
+#define UNK_OUT    __IBEX_UNK_OUT__
+#define UNK_IN_OUT __IBEX_UNK_IN_OUT__
+#define IN_TMP     __IBEX_IN_TMP__
+// ========================================
+
+namespace ibex {
+
+
+char to_string(const NodeType& status) {
+	switch(status) {
+	case IN : return 'Y'; break;
+	case OUT : return 'N'; break;
+	default : return '?';
+	}
+}
+
+SetNode::SetNode(NodeType status) : status(status), father(NULL) {
+
+}
+
+SetNode::SetNode(NodeType status, SetNode *father): status(status), father(father) {
+
+}
+
+SetNode::~SetNode() {
+
+}
+
+/*void SetNode::inter(const SetNode* other)
+{
+
+}*/
+
+
+} // namespace ibex