Home
last modified time | relevance | path

Searched refs:iterVterm (Results 1 – 1 of 1) sorted by relevance

/dports/math/cvc3/cvc3-2.4.1/src/theory_quant/
H A Dtheory_quant.cpp4002 ExprMap<Expr>::iterator iterVterm = curEnv.find(curVterm); in multMatchChild() local
4003 if ( iterVterm != curEnv.end()){ in multMatchChild()
4004 if (simplifyExpr(curGterm) == simplifyExpr(iterVterm->second)){ in multMatchChild()
5320 ExprMap<Expr>::iterator iterVterm = curEnv.find(vterm); in recMultMatchDebug() local
5321 if ( iterVterm != curEnv.end()){ in recMultMatchDebug()
5322 return (simplifyExpr(gterm) == simplifyExpr(iterVterm->second)) ? true : false ; in recMultMatchDebug()
5488 ExprMap<Expr>::iterator iterVterm = curEnv.find(vterm); in recMultMatchOldWay() local
5489 if ( iterVterm != curEnv.end()){ in recMultMatchOldWay()
5490 return (simplifyExpr(gterm) == simplifyExpr(iterVterm->second)) ? true : false ; in recMultMatchOldWay()
5595 ExprMap<Expr>::iterator iterVterm = curEnv.find(vterm); in recMultMatch() local
[all …]