| 55 | } |
| 56 | |
| 57 | void CHCSmtLib2Interface::reset() |
| 58 | { |
| 59 | m_unhandledQueries.clear(); |
| 60 | m_commands.clear(); |
| 61 | m_context.clear(); |
| 62 | createHeader(); |
| 63 | m_context.setTupleDeclarationCallback([&](TupleSort const& _tupleSort){ |
| 64 | m_commands.declareTuple( |
| 65 | _tupleSort.name, |
| 66 | _tupleSort.members, |
| 67 | _tupleSort.components |
| 68 | | ranges::views::transform([&](SortPointer const& _sort){ return m_context.toSmtLibSort(_sort); }) |
| 69 | | ranges::to<std::vector>() |
| 70 | ); |
| 71 | }); |
| 72 | } |
| 73 | |
| 74 | void CHCSmtLib2Interface::registerRelation(Expression const& _expr) |
| 75 | { |
nothing calls this directly
no test coverage detected