| 165 | bool StateMap::IsDead(StateMap::CondId id) const { return id == dead_id_; } |
| 166 | |
| 167 | bool StateMap::IsEmpty(StateMap::CondId id) const { return id == nullptr; } |
| 168 | |
| 169 | size_t StateMap::Hash::operator()(const StateMap::CondState& map) const { |
| 170 | if (map.empty()) return 0; |
no outgoing calls
no test coverage detected