diff options
author | JSDurand <mmemmew@gmail.com> | 2023-02-28 15:37:14 +0800 |
---|---|---|
committer | JSDurand <mmemmew@gmail.com> | 2023-02-28 15:37:14 +0800 |
commit | b22a5b38161fbc4a0bb9e472d42f78311b73741e (patch) | |
tree | b7e60696269eafcb7373a4b3ae996c29b092d4aa /grammar | |
parent | fbaa420ed550e9c3e7cdc09d4a8ec22bfbd782a6 (diff) |
Add no_item parameter.
* chain/src/default.rs:
* chain/src/lib.rs: Add a parameter that controls whether or not the
chain-rule machine computes the item derivation forest as well.
Sometimes we only need to recognize whether an input belongs to the
grammar, but do not care about the derivations. This parameter can
speed up the machine in that case.
Diffstat (limited to 'grammar')
0 files changed, 0 insertions, 0 deletions