Akim Demaille e585377e68
lr0: use a bitset for the set of "shiftable symbols" ...
This will make it easier to add new elements (that might already be
part of shift_symbol) without having to worry about the size of
shift_symbol (which is currently a fixed size vector).
I could not measure any significant differences in performances in the
generation of LR(0) automaton (benched on gramamrs of Ruby, C, and C++).
* src/lr0.c (shift_symbol): Make it a bitset.
2019-01-28 06:47:33 +01:00
2010-10-17 10:23:55 -04:00
2019-01-05 14:58:05 +01:00
2019-01-05 14:58:05 +01:00
2019-01-05 14:58:05 +01:00
2019-01-05 14:58:05 +01:00
2019-01-05 14:58:05 +01:00
2019-01-05 14:58:05 +01:00
2019-01-27 15:51:44 +01:00
2019-01-16 08:40:39 +01:00
2019-01-26 16:21:35 +01:00
2019-01-05 14:58:05 +01:00
2019-01-05 14:58:05 +01:00
2019-01-05 14:58:05 +01:00
2019-01-18 08:43:06 +01:00
2019-01-17 18:09:38 +01:00
2019-01-16 07:59:16 +01:00
2019-01-16 07:59:16 +01:00
2019-01-05 14:58:05 +01:00
2019-01-28 06:47:07 +01:00
2019-01-28 06:47:07 +01:00
2019-01-26 16:21:35 +01:00
2019-01-26 16:16:47 +01:00
2019-01-05 14:58:05 +01:00
2019-01-05 14:58:05 +01:00
2019-01-27 18:08:47 +01:00
2019-01-05 14:58:05 +01:00
2019-01-05 14:58:05 +01:00
2019-01-05 14:58:05 +01:00
2019-01-26 16:21:35 +01:00
2019-01-05 14:58:05 +01:00
2019-01-26 16:21:35 +01:00
2019-01-16 08:40:39 +01:00
2019-01-16 08:40:39 +01:00
2019-01-28 06:47:33 +01:00
2019-01-26 16:21:35 +01:00
2019-01-28 06:47:07 +01:00
2019-01-22 06:54:28 +01:00
2019-01-05 14:58:05 +01:00
2019-01-05 14:58:05 +01:00
2019-01-05 14:58:05 +01:00
2019-01-05 14:58:05 +01:00
2019-01-05 14:58:05 +01:00
2019-01-16 08:40:39 +01:00
2019-01-05 14:58:05 +01:00
2019-01-17 18:09:38 +01:00
2019-01-17 18:09:38 +01:00
2019-01-17 18:09:38 +01:00
2019-01-26 16:21:35 +01:00
2019-01-26 16:16:47 +01:00
2019-01-26 16:21:35 +01:00
2019-01-05 14:58:05 +01:00
2019-01-26 16:21:35 +01:00
2019-01-05 14:58:05 +01:00
2019-01-16 07:59:25 +01:00
2019-01-05 14:58:05 +01:00
2019-01-26 16:21:35 +01:00
2019-01-05 14:58:05 +01:00
2019-01-05 14:58:05 +01:00
2019-01-05 14:58:05 +01:00
2019-01-05 14:58:05 +01:00
2019-01-05 14:58:05 +01:00
2008-11-15 10:47:15 +01:00
2019-01-05 14:58:05 +01:00
2019-01-05 14:58:05 +01:00
2008-11-15 10:47:15 +01:00
2019-01-05 14:58:05 +01:00
2019-01-17 18:09:38 +01:00
2008-11-15 10:47:15 +01:00
2019-01-05 14:58:05 +01:00
2019-01-05 14:58:05 +01:00
2019-01-27 18:08:47 +01:00
2019-01-20 18:31:41 +01:00
2019-01-05 14:58:05 +01:00
2019-01-05 14:58:05 +01:00
2019-01-05 14:58:05 +01:00
2019-01-27 20:07:08 +01:00
2019-01-05 14:58:05 +01:00
2019-01-05 14:58:05 +01:00
2019-01-05 14:58:05 +01:00
2019-01-05 14:58:05 +01:00
2019-01-05 14:58:05 +01:00
2019-01-12 10:45:21 +01:00
e585377e68