reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
223 return const_cast<ExplodedNode*>(this)->getFirstSucc(); 521 return N->succ_size() == 1 && N->getFirstSucc()->isTrivial(); 532 return child_end(N->getFirstSucc());