Searched refs:simplifiedChild (Results 1 – 1 of 1) sorted by relevance
245 auto *simplifiedChild = in propagateGroundTruth() local251 node->children.push_back(simplifiedChild); in propagateGroundTruth()272 if (simplifiedChild->kind == collapseKind || in propagateGroundTruth()273 collapseList.count(simplifiedChild->predicate) != 0) { in propagateGroundTruth()278 if (simplifiedChild->kind == eraseKind || in propagateGroundTruth()279 eraseList.count(simplifiedChild->predicate) != 0) { in propagateGroundTruth()282 node->children.push_back(simplifiedChild); in propagateGroundTruth()