diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-11-04T15·17+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-11-04T15·17+0000 |
| commit | 5bf939885a8bfca9b66a2440bf52330c5fde6477 (patch) | |
| tree | ce78c95b1bd52a5d9fd9cf6eece4733480c5ad94 /externals | |
| parent | 1f285cf5563047f236213c8eadc91324b69af42b (diff) | |
* Memoise checkVarDefs since internally produced terms (i.e., not the
result of parsing) can have very heavy sharing, causing exponential complexity if we naively recurse into them. ATerms are graphs, not trees!
Diffstat (limited to 'externals')
0 files changed, 0 insertions, 0 deletions