Searched refs:session_options_ (Results 1 – 2 of 2) sorted by relevance
63 session_options_(options.session_options), in GraphExecutionState()96 if (!ret->session_options_->config.graph_options().place_pruned_graph()) { in MakeForBaseGraph()203 combined_options.session_options = session_options_; in Extend()214 if (!session_options_->config.graph_options().place_pruned_graph()) { in Extend()553 if (session_options_ && in InitBaseGraph()554 session_options_->config.graph_options().place_pruned_graph()) { in InitBaseGraph()566 optimization_options.session_options = session_options_; in InitBaseGraph()575 session_options_ == nullptr || in InitBaseGraph()576 session_options_->config.allow_soft_placement(), in InitBaseGraph()577 session_options_ != nullptr && in InitBaseGraph()[all …]
196 const SessionOptions* session_options_; // Not owned variable