Searched refs:GetOpId (Results 1 – 1 of 1) sorted by relevance
513 string GetOpId(int op_index) { return StringF("op%05d", op_index); } in GetOpId() function520 string op_id = GetOpId(op_index); in DumpOperator()528 string op_id = GetOpId(op_index); in DumpOperatorEdges()