Searched refs:literal_ptrs (Results 1 – 1 of 1) sorted by relevance
1505 std::vector<const Literal*> literal_ptrs; in HandleSort() local1506 absl::c_transform(literals, std::back_inserter(literal_ptrs), in HandleSort()1510 embedded_evaluator.Evaluate(*sort->to_apply(), literal_ptrs); in HandleSort()1548 std::vector<const Literal*> literal_ptrs; in HandleSort() local1549 absl::c_transform(result_literals, std::back_inserter(literal_ptrs), in HandleSort()1552 Literal result_tuple = LiteralUtil::MakeTuple(literal_ptrs); in HandleSort()