| 99 | |
| 100 | |
| 101 | ClassicalCondition QWhileProg::getCExpr() |
| 102 | { |
| 103 | if (!m_control_flow) |
| 104 | { |
| 105 | QCERR("Unknown internal error"); |
| 106 | throw runtime_error("Unknown internal error"); |
| 107 | } |
| 108 | |
| 109 | return m_control_flow->getCExpr(); |
| 110 | } |
| 111 | |
| 112 | ClassicalCondition QWhileProg::getClassicalCondition() |
| 113 | { |