Method getPossibleFixes

src/engine/MaxConstraint.cpp:375–380

}

List<PiecewiseLinearConstraint::Fix> MaxConstraint::getPossibleFixes() const
{
    // Reluplex does not currently work with Gurobi.
    ASSERT( _gurobi == NULL );
    return List<PiecewiseLinearConstraint::Fix>();
}

List<PiecewiseLinearConstraint::Fix> MaxConstraint::getSmartFixes( ITableau * ) const
{