Akim Demaille
68f1e3edc3
Instead of mapping the LHS of unused rules to -1, keep the LHS
valid, but flag the rules as invalid.
* src/gram.h (rule_t): `useful' is a new member.
* src/print.c (print_grammar): Adjust.
* src/derives.c (set_derives): Likewise.
* src/reader.c (packgram, reduce_output): Likewise.
* src/reduce.c (reduce_grammar_tables): Likewise.
* tests/reduce.at (Underivable Rules, Useless Rules): New.
2001-11-30 10:49:24 +00:00
..
2001-10-04 15:12:55 +00:00
1998-11-26 00:44:18 +00:00
2000-12-19 14:51:24 +00:00
2001-11-30 02:54:54 +00:00
1998-11-26 00:44:18 +00:00
2001-11-28 14:53:16 +00:00
2001-11-23 14:13:20 +00:00
2001-11-26 13:01:17 +00:00
2001-11-26 13:01:17 +00:00
2001-11-30 10:49:01 +00:00
2001-11-12 09:32:35 +00:00
2001-11-30 10:49:24 +00:00
2000-11-07 16:28:47 +00:00
2001-11-27 18:43:20 +00:00
2001-10-04 14:55:21 +00:00
2001-11-28 21:31:13 +00:00
2001-11-28 21:31:13 +00:00
2001-11-19 10:19:20 +00:00
2001-11-30 10:49:24 +00:00
2001-11-19 10:31:49 +00:00
2001-11-19 10:08:54 +00:00
2001-11-28 22:28:01 +00:00
2001-11-28 22:28:01 +00:00
2001-11-28 14:53:29 +00:00
2000-11-07 16:28:47 +00:00
2001-11-30 10:47:56 +00:00
2001-11-27 19:22:10 +00:00
2001-11-28 20:32:53 +00:00
2001-09-02 15:27:27 +00:00
2001-11-19 10:39:49 +00:00
2000-11-07 16:28:47 +00:00
2001-11-28 21:31:13 +00:00
2001-11-05 09:09:19 +00:00
2001-11-28 21:31:13 +00:00
2001-11-28 21:31:13 +00:00
2001-11-23 14:13:20 +00:00
2001-08-10 10:44:44 +00:00
2001-11-30 10:49:24 +00:00
2000-11-07 16:28:47 +00:00
2001-11-30 10:49:24 +00:00
2001-09-07 16:50:01 +00:00
2001-11-30 10:49:24 +00:00
2001-11-12 09:32:51 +00:00
2001-11-19 10:29:17 +00:00
2001-11-23 14:13:02 +00:00
2001-11-23 14:13:02 +00:00
2001-11-27 19:22:10 +00:00
2000-11-07 16:28:47 +00:00
2001-10-04 14:55:21 +00:00
2001-11-19 10:28:29 +00:00
2001-10-04 14:55:21 +00:00
2000-11-07 16:28:47 +00:00
1998-11-26 00:44:18 +00:00
2000-11-07 16:28:47 +00:00
2000-11-07 16:28:47 +00:00