return set;
}
-//void CSolver::addItem(MutableSet *set, uint64_t element) {
-// set->addElementMSet(element);
-//}
+void CSolver::addItem(MutableSet *set, uint64_t element) {
+ set->addElementMSet(element);
+}
uint64_t CSolver::createUniqueItem(MutableSet *set) {
uint64_t element = set->getNewUniqueItem();
/** This function adds a new item to a set. */
//Deprecating this unless we need it...
- // void addItem(MutableSet *set, uint64_t element);
+ void addItem(MutableSet *set, uint64_t element);
/** This function adds a new unique item to the set and returns it.
This function cannot be used in conjunction with manually adding
void * ourrealloc(void *ptr, size_t size);
*/
-#if 0
+#if 1
void * model_malloc(size_t size);
void model_free(void *ptr);
void * model_calloc(size_t count, size_t size);