Searched refs:InChanged (Results 1 – 1 of 1) sorted by relevance
922 bool InChanged = meet(*BB, Visited); in run() local924 InChanged |= Visited.insert(BB).second; in run()925 if (InChanged) { in run()2323 bool InChanged = join(*BB, Visited); in run() local2325 InChanged |= Visited.insert(BB).second; in run()2326 if (InChanged) { in run()