Searched defs:workspace_name (Results 1 – 3 of 3) sorted by relevance
38 const std::string &workspace_name = it.second[index]; in DebugString() local
114 workspace_name=None, argument
99 workspace_name=None, argument