Searched refs:orgBind (Results 1 – 1 of 1) sorted by relevance
733 void TheoryQuant::enqueueInst(size_t univ_id , const std::vector<Expr>& orgBind, const Expr& gterm){ in enqueueInst() argument736 TRACE("quant sendinst", "= begin bind: ", vectorExpr2string(orgBind), ""); in enqueueInst()744 if(orgBind.size() < univ.getExpr().getVars().size()){ in enqueueInst()749 vector<Expr> simpBind(orgBind); in enqueueInst()750 for(size_t orgBindIndex = 0; orgBindIndex < orgBind.size(); orgBindIndex++){ in enqueueInst()751 simpBind [orgBindIndex] = simplifyExpr(orgBind[orgBindIndex]); in enqueueInst()754 Expr orgBindList(RAW_LIST, orgBind, getEM()); in enqueueInst()