| 227 | } |
| 228 | |
| 229 | StateMap::CondId StateMap::GetCondId(const StateMap::CondState& state) { |
| 230 | if (state.empty()) return nullptr; |
| 231 | return &*condstate_set_.insert(state).first; |
| 232 | } |
| 233 | |
| 234 | void StateMap::ResetCondId(const Node* node, StateMap::CondId id) { |
| 235 | if (node->id() < node_to_condid_map_.size()) |