1 | /* |
2 | * Licensed to the Apache Software Foundation (ASF) under one |
3 | * or more contributor license agreements. See the NOTICE file |
4 | * distributed with this work for additional information |
5 | * regarding copyright ownership. The ASF licenses this file |
6 | * to you under the Apache License, Version 2.0 (the |
7 | * "License"); you may not use this file except in compliance |
8 | * with the License. You may obtain a copy of the License at |
9 | * |
10 | * http://www.apache.org/licenses/LICENSE-2.0 |
11 | * |
12 | * Unless required by applicable law or agreed to in writing, |
13 | * software distributed under the License is distributed on an |
14 | * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY |
15 | * KIND, either express or implied. See the License for the |
16 | * specific language governing permissions and limitations |
17 | * under the License. |
18 | */ |
19 | |
20 | /*! |
21 | * \file src/relay/collage/name_supply.h |
22 | * \brief A source of fresh variable names. |
23 | */ |
24 | |
25 | #ifndef TVM_RELAY_COLLAGE_NAME_SUPPLY_H_ |
26 | #define TVM_RELAY_COLLAGE_NAME_SUPPLY_H_ |
27 | |
28 | #include <string> |
29 | #include <unordered_map> |
30 | #include <utility> |
31 | |
32 | namespace tvm { |
33 | namespace relay { |
34 | namespace collage { |
35 | |
36 | /*! \brief A supply of fresh names. */ |
37 | class NameSupply { |
38 | public: |
39 | explicit NameSupply(std::string prefix) : prefix_(std::move(prefix)) {} |
40 | |
41 | NameSupply MakeSubNameSupply(); |
42 | |
43 | void Reserve(const std::string& existing) { next_free_index_.emplace(existing, 1); } |
44 | |
45 | std::string Fresh(const std::initializer_list<std::string>& hints); |
46 | |
47 | private: |
48 | /*! \brief Prefix for all names. May be empty. */ |
49 | std::string prefix_; |
50 | /*! \brief Next unused index for variables with given basename. */ |
51 | std::unordered_map<std::string, int> next_free_index_; |
52 | }; |
53 | |
54 | } // namespace collage |
55 | } // namespace relay |
56 | } // namespace tvm |
57 | |
58 | #endif // TVM_RELAY_COLLAGE_NAME_SUPPLY_H_ |
59 | |