Searched defs:pinlist_file (Results 1 – 1 of 1) sorted by relevance
24 ofstream pinlist_file(output_file); in write_pinlist_file() local75 ifstream pinlist_file(pinner_file); in read_pinlist_file() local