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