| 170 | } |
| 171 | |
| 172 | std::string SMTLib2Interface::toSmtLibSort(SortPointer _sort) |
| 173 | { |
| 174 | return m_context.toSmtLibSort(std::move(_sort)); |
| 175 | } |
| 176 | |
| 177 | std::vector<std::string> SMTLib2Interface::toSmtLibSort(std::vector<SortPointer> const& _sorts) |
| 178 | { |