Implement unary extensional constraint

pothitos · May 27, 2017 · c3a4c02 · c3a4c02
1 parent 537ea71
commit c3a4c02
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/apps/XCSP3/translator.cpp b/apps/XCSP3/translator.cpp
@@ -482,7 +482,14 @@ void Xcsp3_to_Naxos::buildConstraintPrimitive(string id, OrderType op,
 /// Materializes the unary extensional constraint
 void Xcsp3_to_Naxos::addUnaryExtensionConstraint(XVariable* var, bool support)
 {
-        // TODO
+        NsIntVar& Var = variable(var->id);
+        NsDeque<NsInt>& tuple = tuplesStore.back().back();
+        if (support) {
+                removeUnsupportedValues(Var, tuple);
+        } else {
+                for (auto val : tuple)
+                        Var.remove(val);
+        }
 }
 
 /// Materializes the extensional constraint