| 575 | } |
| 576 | |
| 577 | List<unsigned> InputQuery::getOutputVariables() const |
| 578 | { |
| 579 | List<unsigned> result; |
| 580 | for ( const auto &pair : _variableToOutputIndex ) |
| 581 | result.append( pair.first ); |
| 582 | |
| 583 | return result; |
| 584 | } |
| 585 | |
| 586 | void InputQuery::printAllBounds() const |
| 587 | { |