Searched refs:d_red_conc (Results 1 – 2 of 2) sorted by relevance
217 std::map< Node, std::map< Node, Node > > d_red_conc; variable
364 if (Node* in_map = FindOrNull(d_red_conc[s_lbl], s_atom)) in check()451 d_red_conc[s_lbl][s_atom] = conc; in check()