ExplodedNode* current = ... // create and initialize current node ExplodedNode* parent1 = ... // create and initialize first parent node current->addPredecessor(parent1);
ExplodedNode* current = ... // create and initialize current node ExplodedNode* parent1 = ... // create and initialize first parent node ExplodedNode* parent2 = ... // create and initialize second parent node current->addPredecessor(parent1); current->addPredecessor(parent2);In this example, we create a current node and two parent nodes, and then add both parent nodes to the current node's list of predecessors using the addPredecessor method. Package library: The package library for ExplodedNode and the addPredecessor method is the Clang Static Analyzer library for C++.