Searched refs:set_launch_id (Results 1 – 6 of 6) sorted by relevance
102 config->set_launch_id(execution_options->launch_id()); in CreateModuleConfig()
122 void set_launch_id(uint64 launch_id) { launch_id_ = launch_id; } in set_launch_id() function
133 ExecutableRunOptions& set_launch_id(int32 launch_id) { in set_launch_id() function
105 config->set_launch_id(*launch_id); in CreateModuleConfig()
457 config.set_launch_id(c_config.launch_id); in FromC()
1758 run_options.set_launch_id(options.launch_id); in EnqueueExecution()