Searched refs:single_occ_variables (Results 1 – 1 of 1) sorted by relevance
276 std::unordered_map<Node, bool, NodeHashFunction> single_occ_variables; in processTerms() local286 single_occ_variables.find(nn); in processTerms()287 if (its == single_occ_variables.end()) in processTerms()290 single_occ_variables[nn] = rlv_vars.find(nn) == rlv_vars.end(); in processTerms()294 single_occ_variables[nn] = false; in processTerms()308 single_occ_variables[*itfv] = false; in processTerms()363 Assert(single_occ_variables.find(n[a]) != single_occ_variables.end()); in processTerms()366 if (single_occ_variables[n[a]]) in processTerms()