| 160 | } |
| 161 | |
| 162 | double InputQuery::getSolutionValue( unsigned variable ) const |
| 163 | { |
| 164 | if ( !_solution.exists( variable ) ) |
| 165 | throw MarabouError( MarabouError::VARIABLE_DOESNT_EXIST_IN_SOLUTION, |
| 166 | Stringf( "Variable: %u", variable ).ascii() ); |
| 167 | |
| 168 | return _solution.get( variable ); |
| 169 | } |
| 170 | |
| 171 | void InputQuery::addPiecewiseLinearConstraint( PiecewiseLinearConstraint *constraint ) |
| 172 | { |