add constant useSalt

util/constants.cc

@@ -55,13 +55,18 @@ globalConstants initGlobalConstants(){
             }else{
                 res.useDET = false;
             }
+        }else if(head=="useSalt"){
+            if(line.substr(index+1)=="true"){
+                res.useSalt = true;
+            }else{
+                res.useSalt = false;
+            }
         }else if(head=="other") {
             ;
         }else{
             assert(0);
         }
     }
-
     /* the following values need not be determined 
        at runtime.*/
     res.logFile="LOG.TXT";

util/constants.hh

@@ -17,6 +17,7 @@ struct globalConstants{
     bool useOPE;
     bool useSWP;
     bool useDET;
+    bool useSalt;
     std::string logFile;/*file name for log*/
 };