Adding checks to avoid further processing on UNSAT Problems
[satune.git] / src / Backend / orderelement.cc
1 #include "orderelement.h"
2
3
4 OrderElement::OrderElement(uint64_t _item, Element *_elem) {
5         elem = _elem;
6         item = _item;
7 }