diff options
| author | bringert <bringert@cs.chalmers.se> | 2007-03-24 23:29:38 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2007-03-24 23:29:38 +0000 |
| commit | ed1e7f448574662d8b54fe92b3c08ed4942f575d (patch) | |
| tree | 53ff156e69c13ba5449dc3ba3bde68af852a676a /src/JavaGUI2/de/uka/ilkd/key | |
| parent | 436ddd5ebf531c2693af9402236a5a0c462dc5b7 (diff) | |
SRG generation: merge categories with identical set of productions. The LC_LR algorithm produces lots of those, especially when there is little inflection.
Diffstat (limited to 'src/JavaGUI2/de/uka/ilkd/key')
0 files changed, 0 insertions, 0 deletions