Searched refs:d_rel_eqc (Results 1 – 2 of 2) sorted by relevance
1332 d_rel_eqc(c) in StrongSolverTheoryUF()1368 d_rel_eqc[a] = true; in ensureEqc()1389 NodeBoolMap::iterator it = d_rel_eqc.find( a ); in hasEqc()1390 return it!=d_rel_eqc.end() && (*it).second; in hasEqc()1420 d_rel_eqc[b] = true; in merge()
471 NodeBoolMap d_rel_eqc; variable