Searched refs:d_sharedArrays (Results 1 – 2 of 2) sorted by relevance
238 return (d_sharedArrays.find(t) != d_sharedArrays.end()); in isShared()378 CDNodeSet d_sharedArrays; variable
98 d_sharedArrays(c), in TheoryArrays()870 d_sharedArrays.insert(t); in addSharedTerm()967 if (d_sharedArrays.size() > 0) { in computeCareGraph()968 CDNodeSet::key_iterator it1 = d_sharedArrays.key_begin(), it2, iend = d_sharedArrays.key_end(); in computeCareGraph()