Scippy

    SCIP

    Solving Constraint Integer Programs

    SCIP_Clique Struct Reference

    Detailed Description

    single clique, stating that at most one of the binary variables can be fixed to the corresponding value

    Definition at line 75 of file struct_implics.h.

    #include <struct_implics.h>

    Data Fields

    SCIP_VAR ** vars
     
    SCIP_Boolvalues
     
    int nvars
     
    int size
     
    int startcleanup
     
    int index
     
    unsigned int id:30
     
    unsigned int eventsissued:1
     
    unsigned int equation:1
     

    Field Documentation

    ◆ vars

    ◆ values

    ◆ nvars

    ◆ size

    int SCIP_Clique::size

    size of vars and values arrays

    Definition at line 80 of file struct_implics.h.

    Referenced by cliqueEnsureSize().

    ◆ startcleanup

    int SCIP_Clique::startcleanup

    clean up position to start with

    Definition at line 81 of file struct_implics.h.

    Referenced by cliqueCleanup(), SCIPcliqueDelVar(), and SCIPcliqueIsCleanedUp().

    ◆ index

    int SCIP_Clique::index

    ◆ id

    ◆ eventsissued

    unsigned int SCIP_Clique::eventsissued

    were the IMPLADDED events on the variables already issued?

    Definition at line 84 of file struct_implics.h.

    Referenced by SCIPcliqueAddVar().

    ◆ equation

    unsigned int SCIP_Clique::equation

    is the clique an equation or an inequality?

    Definition at line 85 of file struct_implics.h.

    Referenced by cliqueCleanup(), SCIPcliqueIsEquation(), SCIPcliquelistRemoveFromCliques(), SCIPcliquetableAdd(), and SCIPcliquetableCleanup().