void V3Global::dumpGlobalTree(const string& filename, int newNumber) { v3Global.rootp()->dumpTreeFile(v3Global.debugFilename(filename, newNumber)); }
void V3Global::dumpCheckGlobalTree(const string& filename, int newNumber, bool doDump) { v3Global.rootp()->dumpTreeFile(v3Global.debugFilename(filename, newNumber), false, doDump); }