defineVariableValues -> defineDomains

Author: manleviet

pom.xml

@@ -6,7 +6,7 @@
 
     <groupId>at.tugraz.ist.ase</groupId>
     <artifactId>choco-kb</artifactId>
-    <version>1.0.4</version>
+    <version>1.0.5</version>
     <packaging>jar</packaging>
 
     <properties>

src/main/java/at/tugraz/ist/ase/knowledgebases/core/KB.java

@@ -22,6 +22,7 @@ public interface KB {
     IntVar[] getVars();
     void setVars(IntVar[] v);
 
+    void defineDomains();
     void defineVariables();
     void defineConstraints();
 

src/main/java/at/tugraz/ist/ase/knowledgebases/pc/PCKB.java

@@ -29,12 +29,12 @@ public class PCKB implements KB {
     int[] domainSizes = new int[45];
 
     public PCKB(){
-        defineVariableValues();
+        defineDomains();
         defineVariables();
         defineConstraints();
     }
 
-    public void defineVariableValues() {
+    public void defineDomains() {
         int i=0;
         domains[i]=new int[]{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10};
         domainSizes[i++] = 11;

src/main/java/at/tugraz/ist/ase/knowledgebases/renault/RenaultKB.java

@@ -43,12 +43,12 @@ public class RenaultKB implements KB {
                                     "111.pm", "112.pm", "113.pm");
 
     public RenaultKB(){
-        defineVariableValues();
+        defineDomains();
         defineVariables();
         defineConstraints();
     }
 
-    public void defineVariableValues() {
+    public void defineDomains() {
         int i=0;
         // 1
         // Var1 : B64, D64, E64, F64, J64, K25, L64, S64, V25