Searched refs:eqpcc (Results 1 – 1 of 1) sorted by relevance
1212 std::shared_ptr<EqProof> eqpcc = in getExplanation() local1215 equalities, eqpcc.get()); in getExplanation()1217 eqpc->d_children.push_back( eqpcc ); in getExplanation()