diff options
| author | krasimir <krasimir@chalmers.se> | 2015-07-04 15:06:34 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2015-07-04 15:06:34 +0000 |
| commit | 192b1cc01897906f67e15a0046897eb5fecbe002 (patch) | |
| tree | 8eb75e259ac1e4e2d426078bf41db73ff9556837 /doc | |
| parent | b3680b60258372baa1d5e606026760ef223641b9 (diff) | |
the reasoner's states are now closures just like the code for the def rules. This means more compact JIT compiled code and uniformity with the code for def rules
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions