Searched refs:d_quants_red (Results 1 – 2 of 2) sorted by relevance
107 d_quants_red(u), in QuantifiersEngine()794 BoolMap::const_iterator it = d_quants_red.find( q ); in reduceQuantifier()795 if( it==d_quants_red.end() ){ in reduceQuantifier()815 d_quants_red[q] = !lem.isNull(); in reduceQuantifier()
407 BoolMap d_quants_red; variable