sepa_convexproj.h
Go to the documentation of this file.
36 * By default, the separator runs only if the convex relaxation has at least one nonlinear convex function
38 * The separator generates cuts for constraints which were violated by the solution we want to separate and active
39 * at the projection. If the projection problem is not solved to optimality, it still tries to add a cut at the
40 * best solution found. In case that the projection problem is solved to optimality, it is guaranteed that a cut
45 * This inequality is violated by for \f$ x = x_0 \f$. On the other hand, one of the optimality conditions of the
54 * Multiplying each inequality with \f$ \lambda_j \ge 0 \f$ and summing up, we get the following contradiction:
60 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
Definition: struct_scip.h:59
type definitions for return codes for SCIP methods
SCIP_EXPORT SCIP_RETCODE SCIPincludeSepaConvexproj(SCIP *scip)
Definition: sepa_convexproj.c:909
type definitions for SCIP's main datastructure
common defines and data types used in all packages of SCIP
Definition: objbenders.h:33