Scippy

    SCIP

    Solving Constraint Integer Programs

    Data Fields
    BINARYVARLIST Struct Reference

    Detailed Description

    list of binary variables currently branched on a down branching (x <= 0) is saved as the negated variable (1-x) an up branching (x >= 1) is saved as the original variable (x) these variables are used to build the binary constraint in case that a ('binary') branch is cut off

    Definition at line 1443 of file branch_lookahead.c.

    Data Fields

    SCIP_VAR ** binaryvars
     
    int nbinaryvars
     
    int memorysize
     

    Field Documentation

    ◆ binaryvars

    SCIP_VAR** BINARYVARLIST::binaryvars

    The binary variables currently branched on.

    Definition at line 1445 of file branch_lookahead.c.

    Referenced by addBinaryConstraint(), binaryVarListAppend(), and binaryVarListDrop().

    ◆ nbinaryvars

    int BINARYVARLIST::nbinaryvars

    The number of entries in 'nbinaryvars'.

    Definition at line 1446 of file branch_lookahead.c.

    Referenced by addBinaryConstraint(), binaryVarListAppend(), binaryVarListDrop(), executeBranchingRecursive(), and selectVarStart().

    ◆ memorysize

    int BINARYVARLIST::memorysize

    The number of entries that the array 'binaryvars' may hold before the array is reallocated.

    Definition at line 1447 of file branch_lookahead.c.

    Referenced by binaryVarListAppend().