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