> If our index-choosing algorithm results in always-empty index
> lists for
> your favourite example, you can give 'hints': After the TM
> symbol
> declarations, you can state "frequent <symbol>;" to make the
> variables
> bound by <symbol> receive preferential treatment.
Just to clarify the syntax...
You can only make one frequent-declaration in a tracematch, but it
can
list more than one symbol. It must appear between the symbol
declarations
and the pattern and be of the form:
"frequent" <comma separated list of symbol names> ";"
Julian
Received on Tue Mar 07 19:44:06 2006
This archive was generated by hypermail 2.1.8 : Tue Mar 06 2007 - 16:13:27 GMT