Searched refs:LeftNode (Results 1 – 2 of 2) sorted by relevance
254 auto &[LeftGain, LeftNode] = LeftPair; in runIteration()260 if (moveFunctionNode(*LeftNode, LeftBucket, RightBucket, Signatures, RNG)) in runIteration()
220 static bool hasVisibleUpdate(const ExplodedNode *LeftNode, SVal LeftVal, in hasVisibleUpdate() argument234 LLCV->getStore() == LeftNode->getState()->getStore() && in hasVisibleUpdate()