Searched refs:owned_literals_ (Results 1 – 1 of 1) sorted by relevance
351 owned_literals_.push_back(std::move(literal)); in TakeOwnership()352 return &owned_literals_.back(); in TakeOwnership()357 owned_literals_.push_back(std::move(literal)); in TakeOwnership()358 return &owned_literals_.back(); in TakeOwnership()362 std::vector<Literal> owned_literals_; variable