Searched refs:dead_id_ (Results 1 – 2 of 2) sorted by relevance
168 CondId dead_id_; variable
161 dead_id_ = GetCondId( in StateMap()165 bool StateMap::IsDead(StateMap::CondId id) const { return id == dead_id_; } in IsDead()260 void StateMap::MarkDead(const Node* node) { ResetCondId(node, dead_id_); } in MarkDead()