예제 #1
0
 public long deltaDCountComplete() {
   Iterator iter = idx.sigma.iterator();
   double count = 0;
   FuncSymb f;
   double qdsize = qd.size();
   while (iter.hasNext()) {
     f = (FuncSymb) iter.next();
     count = count + Math.pow(qdsize, (double) f.arity);
   }
   return Math.round(count);
 }
예제 #2
0
 public long deltaDCount() {
   double count = 0;
   double tcount;
   double argsize;
   double qdsize = qd.size();
   ArrayList<LinkedHashSet<LinkedHashSet<String>>> lhs;
   for (int i = 0; i < deltad.size(); i++) {
     lhs = deltad.get(i).lhs;
     tcount = 1.0;
     for (int j = 0; j < lhs.size(); j++) {
       argsize = lhs.get(j).size();
       if (argsize == 0) {
         argsize = qdsize; // don't care argument
       }
       tcount = tcount * argsize;
     }
     count = count + tcount;
   }
   return Math.round(count);
 }