9 typedef std::vector<SgNode*> SuccessorsContainer;
11 static void selectDefaultSuccessors(
SgNode* node, SuccessorsContainer& succContainer);
12 static void selectReversePrefixSuccessors(
SgNode* node, SuccessorsContainer& succContainer);
13 static void selectReverseBranchSuccessors(
SgNode* node, SuccessorsContainer& succContainer);