diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-04-30 16:09:32 -0400 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-04-30 23:50:09 -0400 |
| commit | cb12e628b41d11376ff03e5c1a7a5e760e98e2a1 (patch) | |
| tree | cc9b80787200a7ed06ae1d11ecf5a4a1b7d1cfbf /src/options | |
| parent | 221e509c0eb230aa549fe0107ba88514b6944ca2 (diff) | |
decision engine: cache start index for and/or nodes
This is done only in "hard" case. Limited testing has not shown
improvement in the "easy" case.
This was triggerred by a benchmark sent by andy/viktor.
performance comparison notes for the change on wiki
http://church.cims.nyu.edu/wiki/User:Kshitij/decisioncacheindex
Diffstat (limited to 'src/options')
0 files changed, 0 insertions, 0 deletions