Adding an API for finalizing MutableSet

[satune.git] / src / csolver.cc

diff --git a/src/csolver.cc b/src/csolver.cc
index 0eebb1759e8fde28ae529b403e853ad8e0f3202d..575a12b6f347714e5711eccd08c6131ec381de81 100644 (file)
--- a/src/csolver.cc
+++ b/src/csolver.cc
@@ -138,6 +138,10 @@ uint64_t CSolver::createUniqueItem(MutableSet *set) {
        return element;
 }
 
+void CSolver::finalizeMutableSet(MutableSet* set){
+       set->finalize();
+}
+
 Element *CSolver::getElementVar(Set *set) {
        Element *element = new ElementSet(set);
        allElements.push(element);