X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/75ad86eebd3f49dff81976eb83036eb7b7793e68..728c4be2:/src/closure.h diff --git a/src/closure.h b/src/closure.h index 96c849e0..d152f9c6 100644 --- a/src/closure.h +++ b/src/closure.h @@ -32,7 +32,7 @@ void new_closure (unsigned int n); -/* Given the kernel (aka core) of a state (a vector of item numbers +/* Given the kernel (aka core) of a state (a sorted vector of item numbers ITEMS, of length N), set up RULESET and ITEMSET to indicate what rules could be run and which items could be accepted when those items are the active ones. @@ -41,7 +41,7 @@ void new_closure (unsigned int n); all rules which could potentially describe the next input to be read. - ITEMSET is a vector of item numbers; NITEMSET is its size + ITEMSET is a sorted vector of item numbers; NITEMSET is its size (actually, points to just beyond the end of the part of it that is significant). CLOSURE places there the indices of all items which represent units of input that could arrive next. */