Searched refs:InChanged (Results 1 – 1 of 1) sorted by relevance
923 bool InChanged = meet(*BB, Visited); in run() local925 InChanged |= Visited.insert(BB).second; in run()926 if (InChanged) { in run()2338 bool InChanged = join(*BB, Visited); in run() local2340 InChanged |= Visited.insert(BB).second; in run()2341 if (InChanged) { in run()