about summary refs log tree commit diff
path: root/src/libutil/hash.hh
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2005-11-04T15·17+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2005-11-04T15·17+0000
commit5bf939885a8bfca9b66a2440bf52330c5fde6477 (patch)
treece78c95b1bd52a5d9fd9cf6eece4733480c5ad94 /src/libutil/hash.hh
parent1f285cf5563047f236213c8eadc91324b69af42b (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 'src/libutil/hash.hh')
0 files changed, 0 insertions, 0 deletions