summaryrefslogtreecommitdiff
path: root/chain/src/item/reduction.rs
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 /chain/src/item/reduction.rs
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 'chain/src/item/reduction.rs')
0 files changed, 0 insertions, 0 deletions