skip checks in enfops of cons_fixedvar if solution already infeasible

- the conshdlr could not contribute anything new

Author: svigerske

src/scip/cons_fixedvar.c

@@ -413,6 +413,12 @@ SCIP_DECL_CONSENFOPS(consEnfopsFixedvar)
 
    *result = SCIP_FEASIBLE;
 
+   /* skip check for solutions that are already declared infeasible
+    * we could not do anything else than also signaling infeasibility
+    */
+   if( solinfeasible )
+      return SCIP_OKAY;
+
    conshdlrdata = SCIPconshdlrGetData(conshdlr);
    assert(conshdlrdata != NULL);
 
@@ -432,11 +438,9 @@ SCIP_DECL_CONSENFOPS(consEnfopsFixedvar)
 
       if( (!SCIPisInfinity(scip, -lb) && SCIPisFeasLT(scip, val, lb)) || (!SCIPisInfinity(scip, ub) && SCIPisFeasGT(scip, val, ub)) )
       {
-         /* if solution is already declared infeasible, then do not force solving an LP, as it may fail (we may be in enfops because the LP failed) */
-         *result = solinfeasible ? SCIP_INFEASIBLE : SCIP_SOLVELP;
+         *result = SCIP_SOLVELP;
 
-         if( !solinfeasible )
-            assertSmallViolation(lb, val, ub);
+         assertSmallViolation(lb, val, ub);
 
          break;
       }