Searched refs:dump_txt (Results 1 – 1 of 1) sorted by relevance
519 def dump_txt(self): member in OutputDatabase780 db_out.dump_txt()