3eccaf81a1
It's important that program that uses occurrences from cache shouldn't include rules that could produce their duplicates. So implementation of occurence cache includes 2 parts: on reactor level & in ProrgramFactory. When RuleBuilders are produced, cache is queried whether there're already occurrences associated with the rule template in question. If so -- then those RuleBuilders are not included into the program (as well as all RuleBuilders required by it). |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||