Searched refs:set_renumbering (Results 1 – 3 of 3) sorted by relevance
737 void set_renumbering(const Vector<int> *v) { _renumbering = v; } in set_renumbering() function in SubrExpander908 rem0.set_renumbering(&_renumbering); in run()