Scippy

    SCIP

    Solving Constraint Integer Programs

    Functions
    cons_conjunction.h File Reference
    Public API of SCIP » Plugin API of SCIP » Constraint Handlers

    Detailed Description

    constraint handler for conjunction constraints

    Author
    Tobias Achterberg

    Definition in file cons_conjunction.h.

    #include "scip/def.h"
    #include "scip/type_cons.h"
    #include "scip/type_retcode.h"
    #include "scip/type_scip.h"

    Go to the source code of this file.

    Functions

    SCIP_RETCODE SCIPincludeConshdlrConjunction (SCIP *scip)
     
    Conjunction Constraints

    A conjunction constraint \( C \) is a constraint of the form

    \[ C = C_1 \wedge \dots \wedge C_n \]

    where all the \( C_i \) are individual constraints themselves.

    SCIP_RETCODE SCIPcreateConsConjunction (SCIP *scip, SCIP_CONS **cons, const char *name, int nconss, SCIP_CONS **conss, SCIP_Bool enforce, SCIP_Bool check, SCIP_Bool local, SCIP_Bool modifiable, SCIP_Bool dynamic)
     
    SCIP_RETCODE SCIPcreateConsBasicConjunction (SCIP *scip, SCIP_CONS **cons, const char *name, int nconss, SCIP_CONS **conss)
     
    SCIP_RETCODE SCIPaddConsElemConjunction (SCIP *scip, SCIP_CONS *cons, SCIP_CONS *addcons)