5 Jun
2007
5 Jun
'07
12:09 p.m.
Dear Martin,
Is it possible to "reset" this counter, or somehow make sure a set of newly created symbols keep the same relative order independent of previous operations in the program? It would save us a tremendous amount of recompilation and code verification if we could do this.
I think it should be possible to create your symbols in a vector and then use .set_name() to swap around the names of the symbols in such a way that the symbol that comes at a certain place in the canonical ordering gets the right name. Bit of an ugly hack though. Good luck, Chris