Searched refs:deleted_on_destruction_ (Results 1 – 2 of 2) sorted by relevance
59 for (std::vector<RawLiteral*>::iterator it = deleted_on_destruction_.begin(); in ~LiteralPool()60 it != deleted_on_destruction_.end(); in ~LiteralPool()
144 deleted_on_destruction_.push_back(literal); in DeleteOnDestruction()161 std::vector<RawLiteral*> deleted_on_destruction_; variable