workspace.h | 76 std::vector<string> &names = workspace_names_[id]; 91 return workspace_names_; 101 // Workspace names, indexed as workspace_names_[typeid][workspace]. 102 std::unordered_map<int, std::vector<string> > workspace_names_; member in class:libtextclassifier3::mobile::WorkspaceRegistry
|