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);
}
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);
}
