| 380 | } |
| 381 | |
| 382 | List<PiecewiseLinearConstraint::Fix> MaxConstraint::getSmartFixes( ITableau * ) const |
| 383 | { |
| 384 | // Reluplex does not currently work with Gurobi. |
| 385 | ASSERT( _gurobi == NULL ); |
| 386 | return getPossibleFixes(); |
| 387 | } |
| 388 | |
| 389 | List<PhaseStatus> MaxConstraint::getAllCases() const |
| 390 | { |
no outgoing calls
no test coverage detected