Searched defs:while_node_name (Results 1 – 1 of 1) sorted by relevance
1562 const string& cond_host_func_name, const string& while_node_name, in RewriteHostWhileLoopCond()1636 const string& body_host_func_name, const string& while_node_name, in RewriteHostWhileLoopBody()1696 const string& while_node_name, const string& host_transfer_key, in BuildHostGraphForWhileNode()