Searched refs:recMultMatchOldWay (Results 1 – 2 of 2) sorted by relevance
640 bool recMultMatchOldWay(const Expr& gterm,const Expr& vterm, std::vector<ExprMap<Expr> >& binds);
5478 bool TheoryQuant::recMultMatchOldWay(const Expr& gterm,const Expr& vterm, vector<ExprMap<Expr> >& b… in recMultMatchOldWay() function in TheoryQuant