Searched refs:literal_ptrs (Results 1 – 1 of 1) sorted by relevance
2225 std::vector<const Literal*> literal_ptrs; in HandleSort() local2226 absl::c_transform(literals, std::back_inserter(literal_ptrs), in HandleSort()2230 embedded_evaluator.Evaluate(*sort->to_apply(), literal_ptrs); in HandleSort()2268 std::vector<const Literal*> literal_ptrs; in HandleSort() local2269 absl::c_transform(result_literals, std::back_inserter(literal_ptrs), in HandleSort()2272 Literal result_tuple = LiteralUtil::MakeTuple(literal_ptrs); in HandleSort()