Searched refs:curMultiTrigger (Results 1 – 1 of 1) sorted by relevance
7674 multTrigsInfo& curMultiTrigger = d_all_multTrigsInfo[i]; in checkSat() local7675 if(curMultiTrigger.uncomm_list.size() != 2 ){ in checkSat()7678 ExprMap<CDList<Expr>* >* uncommonMapOne = curMultiTrigger.uncomm_list[0]; in checkSat()7679 ExprMap<CDList<Expr>* >* uncommonMapTwo = curMultiTrigger.uncomm_list[1]; in checkSat()7741 size_t univID = curMultiTrigger.univ_id; in checkSat()7743 if(d_univs[univID] != curMultiTrigger.univThm) { in checkSat()7750 enqueueInst(curMultiTrigger.univ_id, bind, rightTerm); in checkSat()7757 enqueueInst(curMultiTrigger.univ_id, bind, rightTerm); in checkSat()