Searched refs:rule_elements_cache (Results 1 – 2 of 2) sorted by relevance
222 map<int, threeTuple*>::iterator it = rule_elements_cache.find(r1.getId()); in checkForShadowing()223 if (it!=rule_elements_cache.end()) in checkForShadowing()238 rule_elements_cache[r1.getId()] = tt; in checkForShadowing()241 it = rule_elements_cache.find(r2.getId()); in checkForShadowing()242 if (it!=rule_elements_cache.end()) in checkForShadowing()257 rule_elements_cache[r2.getId()] = tt; in checkForShadowing()
156 std::map<int, threeTuple*> rule_elements_cache; variable