From ebc03c072ae4ab2d3cd1b8dbe65268d7b23cd1b8 Mon Sep 17 00:00:00 2001 From: Hamed Date: Fri, 15 Sep 2017 11:06:34 -0700 Subject: [PATCH] retrieving back the addItem for mutableSet (needed for branchRecord) --- src/csolver.cc | 6 +++--- src/csolver.h | 2 +- src/mymemory.h | 2 +- 3 files changed, 5 insertions(+), 5 deletions(-) diff --git a/src/csolver.cc b/src/csolver.cc index ea4b924..0eebb17 100644 --- a/src/csolver.cc +++ b/src/csolver.cc @@ -128,9 +128,9 @@ MutableSet *CSolver::createMutableSet(VarType type) { 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(); diff --git a/src/csolver.h b/src/csolver.h index 4807908..42a6216 100644 --- a/src/csolver.h +++ b/src/csolver.h @@ -27,7 +27,7 @@ public: /** 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 diff --git a/src/mymemory.h b/src/mymemory.h index 7c63aa1..e0a60bd 100644 --- a/src/mymemory.h +++ b/src/mymemory.h @@ -26,7 +26,7 @@ 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); -- 2.34.1