| 1704 | } |
| 1705 | |
| 1706 | void CHC::createErrorBlock() |
| 1707 | { |
| 1708 | m_errorPredicate = createSymbolicBlock( |
| 1709 | arity0FunctionSort(), |
| 1710 | "error_target_" + std::to_string(m_context.newUniqueId()), |
| 1711 | PredicateType::Error |
| 1712 | ); |
| 1713 | } |
| 1714 | |
| 1715 | void CHC::connectBlocks(smtutil::Expression const& _from, smtutil::Expression const& _to, smtutil::Expression const& _constraints) |
| 1716 | { |
nothing calls this directly
no test coverage detected