Searched refs:d_trans2_found (Results 1 – 2 of 2) sorted by relevance
423 CDMap<Expr,bool > d_trans2_found; variable
192 d_trans2_found(core->getCM()->getCurrentContext()), in TheoryQuant()6982 return (d_trans2_found.count(comb) > 0); in trans2Found()6986 d_trans2_found[comb] = true; in setTrans2Found()