diff options
| author | Akim Demaille <akim.demaille@gmail.com> | 2019-04-12 08:29:44 +0200 |
|---|---|---|
| committer | Akim Demaille <akim.demaille@gmail.com> | 2019-04-12 08:38:30 +0200 |
| commit | 2ab70cf0c6373a1457565c8fd99c442dbec7ee14 (patch) | |
| tree | 17c7886b261689b67036fdc06006e494e61a6c56 /src/lalr.c | |
| parent | 99664706e2c0fdac1d54207aef4a15054aa7378a (diff) | |
| download | bison-2ab70cf0c6373a1457565c8fd99c442dbec7ee14.tar.gz | |
style: comment changes
* src/closure.h, src/closure.c, src/lalr.c: here.
Diffstat (limited to 'src/lalr.c')
| -rw-r--r-- | src/lalr.c | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -72,6 +72,12 @@ static bitsetv LA = NULL; size_t nLA; +/* "(p, A) includes (p', B)" iff + B → βAγ, γ nullable, and p'-- β --> p (i.e., state p' reaches p on label β). + + Definition p.621 [DeRemer 1982]. + + INCLUDES[(p, A)] = [(p', B),...] */ static goto_number **includes; /* "(q, A → ω) lookback (p, A)" iff state p reaches state q on label ω. |