| 2467 | } |
| 2468 | |
| 2469 | unsigned CHC::newErrorId() |
| 2470 | { |
| 2471 | unsigned errorId = m_context.newUniqueId(); |
| 2472 | // We need to make sure the error id is not zero, |
| 2473 | // because error id zero actually means no error in the CHC encoding. |
| 2474 | if (errorId == 0) |
| 2475 | errorId = m_context.newUniqueId(); |
| 2476 | return errorId; |
| 2477 | } |
| 2478 | |
| 2479 | SymbolicIntVariable& CHC::errorFlag() |
| 2480 | { |
nothing calls this directly
no test coverage detected