Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-02-21 20:58:53 -0800 (Mon, 21 Feb 2000)
Revision: 2904
Log message:
When building contractum we used to build a new operator each time we wanted
to construct a new term. Now we only do that if the operator of the original
rule contractum had meta-parameters, otherwise we can simply use the operator
from the rule contractum.
The reason we want to have this optimization is that since we do opname lookups
very often, we want to have fewer operators so that they could sit in CPU cache.