| 126 | } |
| 127 | |
| 128 | std::string CHCSmtLib2Interface::toSmtLibSort(SortPointer const& _sort) |
| 129 | { |
| 130 | return m_context.toSmtLibSort(_sort); |
| 131 | } |
| 132 | |
| 133 | std::vector<std::string> CHCSmtLib2Interface::toSmtLibSort(std::vector<SortPointer> const& _sorts) |
| 134 | { |