Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
56 changes: 56 additions & 0 deletions ibex_SetNode.cpp
Original file line number Diff line number Diff line change
@@ -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