Searched refs:d_uf_exp (Results 1 – 2 of 2) sorted by relevance
36 d_uf_exp.clear(); in reset()193 Assert( d_uf_exp[ a ].empty() ); in getUfRepresentative()202 merge_exp( d_uf_exp[ a ], exp ); in getUfRepresentative()207 exp.insert( exp.end(), d_uf_exp[ a ].begin(), d_uf_exp[ a ].end() ); in getUfRepresentative()296 Assert( d_uf_exp[ar].empty() ); in setEqual()297 Assert( d_uf_exp[br].empty() ); in setEqual()301 merge_exp( d_uf_exp[ar], exp_a ); in setEqual()302 merge_exp( d_uf_exp[ar], exp_b ); in setEqual()303 merge_exp( d_uf_exp[ar], reason ); in setEqual()307 d_uf_exp[br].clear(); in setEqual()[all …]
78 std::map<Node, std::vector<Node> > d_uf_exp; variable