Forwards variable creation to the solver.
| 58 | |
| 59 | /// Forwards variable creation to the solver. |
| 60 | smtutil::Expression newVariable(std::string _name, smtutil::SortPointer _sort) |
| 61 | { |
| 62 | solAssert(m_solver, ""); |
| 63 | return m_solver->newVariable(std::move(_name), std::move(_sort)); |
| 64 | } |
| 65 | |
| 66 | struct IdCompare |
| 67 | { |
no outgoing calls
no test coverage detected