#include "derives.h"
#include "warshall.h"
-/* ITEMSETSIZE is the size of the array ITEMSET. */
+/* NITEMSET is the size of the array ITEMSET. */
short *itemset;
-int itemsetsize;
+int nitemset;
static unsigned *ruleset;
ruleset[r] |= FDERIVES (ritem[core[c]])[r];
}
- itemsetsize = 0;
+ nitemset = 0;
c = 0;
- for (ruleno = 0; ruleno < rulesetsize * BITS_PER_WORD; ++ruleno)
+ for (ruleno = 0; ruleno < nrules + 1; ++ruleno)
if (BITISSET (ruleset, ruleno))
{
int itemno = rule_table[ruleno].rhs;
while (c < n && core[c] < itemno)
{
- itemset[itemsetsize] = core[c];
- itemsetsize++;
+ itemset[nitemset] = core[c];
+ nitemset++;
c++;
}
- itemset[itemsetsize] = itemno;
- itemsetsize++;
+ itemset[nitemset] = itemno;
+ nitemset++;
}
while (c < n)
{
- itemset[itemsetsize] = core[c];
- itemsetsize++;
+ itemset[nitemset] = core[c];
+ nitemset++;
c++;
}
if (trace_flag)
- print_closure ("output", itemset, itemsetsize);
+ print_closure ("output", itemset, nitemset);
}