| 1007 | } |
| 1008 | |
| 1009 | BranchType StateMap::FindBranchOf(CondId id, OutputTensor predicate) const { |
| 1010 | if (IsEmpty(id)) return BranchType::kNeither; |
| 1011 | const CondState& nodes = *id; |
| 1012 | auto it = nodes.find(predicate); |
| 1013 | if (it == nodes.end()) return BranchType::kNeither; |
| 1014 | return it->second; |
| 1015 | } |
| 1016 | |
| 1017 | StatusOr<StateMap::CondId> FunctionalizeCond::JoinCondStatesNonMerge( |
| 1018 | StateMap::CondId src, StateMap::CondId dst) { |
no test coverage detected