Lines Matching defs:Preds
128 /// Preds - The predecessors of this node.
129 NodeGroup Preds;
200 unsigned pred_size() const { return Preds.size(); }
202 bool pred_empty() const { return Preds.empty(); }
239 pred_iterator pred_begin() { return Preds.begin(); }
240 pred_iterator pred_end() { return Preds.end(); }
241 pred_range preds() { return {Preds.begin(), Preds.end()}; }
249 const_pred_range preds() const { return {Preds.begin(), Preds.end()}; }
298 void replacePredecessor(ExplodedNode *node) { Preds.replaceNode(node); }