summaryrefslogtreecommitdiff
path: root/grammar
diff options
context:
space:
mode:
authorJSDurand <mmemmew@gmail.com>2023-02-28 15:37:14 +0800
committerJSDurand <mmemmew@gmail.com>2023-02-28 15:37:14 +0800
commitb22a5b38161fbc4a0bb9e472d42f78311b73741e (patch)
treeb7e60696269eafcb7373a4b3ae996c29b092d4aa /grammar
parentfbaa420ed550e9c3e7cdc09d4a8ec22bfbd782a6 (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