use the factory configuration for the CC encoder

logic-ng · May 27, 2016 · c7afcd2 · c7afcd2
1 parent 3ef1b3c
commit c7afcd2
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/src/main/java/org/logicng/cardinalityconstraints/CCEncoder.java b/src/main/java/org/logicng/cardinalityconstraints/CCEncoder.java
@@ -29,6 +29,8 @@
 package org.logicng.cardinalityconstraints;
 
 import org.logicng.collections.ImmutableFormulaList;
+import org.logicng.configurations.Configuration;
+import org.logicng.configurations.ConfigurationType;
 import org.logicng.formulas.CType;
 import org.logicng.formulas.FType;
 import org.logicng.formulas.Formula;
@@ -81,7 +83,10 @@ public CCEncoder(final FormulaFactory f, final CCConfig config) {
    */
   public CCEncoder(final FormulaFactory f) {
     this.f = f;
-    this.config = new CCConfig.Builder().build();
+    Configuration ccConfig = f.configurationFor(ConfigurationType.CC_ENCODER);
+    if (ccConfig == null)
+      ccConfig = new CCConfig.Builder().build();
+    this.config = (CCConfig) ccConfig;
   }
 
   /**