Scippy

    SCIP

    Solving Constraint Integer Programs

    OrbitalReductionComponentData Struct Reference

    Detailed Description

    data for orbital reduction component propagator

    Definition at line 131 of file symmetry_orbital.c.

    Data Fields

    SCIP_NODElastnode
     
    SCIP_Realglobalvarlbs
     
    SCIP_Realglobalvarubs
     
    int ** perms
     
    int nperms
     
    SCIP_VAR ** permvars
     
    int npermvars
     
    SCIP_HASHMAPpermvarmap
     
    SCIP_Bool symmetrybrokencomputed
     
    int * symbrokenvarids
     
    int nsymbrokenvarids
     
    SCIP_Bool treewarninggiven
     

    Field Documentation

    ◆ lastnode

    SCIP_NODE* OrbitalReductionComponentData::lastnode

    last node processed by orbital reduction component

    Definition at line 133 of file symmetry_orbital.c.

    Referenced by addComponent(), and applyOrbitalBranchingPropagations().

    ◆ globalvarlbs

    SCIP_Real* OrbitalReductionComponentData::globalvarlbs

    global variable lower bounds until before branching starts

    Definition at line 134 of file symmetry_orbital.c.

    Referenced by addComponent(), applyOrbitalBranchingPropagations(), identifyOrbitalSymmetriesBroken(), and SCIP_DECL_EVENTEXEC().

    ◆ globalvarubs

    SCIP_Real* OrbitalReductionComponentData::globalvarubs

    global variable upper bounds until before branching starts

    Definition at line 135 of file symmetry_orbital.c.

    Referenced by addComponent(), applyOrbitalBranchingPropagations(), identifyOrbitalSymmetriesBroken(), and SCIP_DECL_EVENTEXEC().

    ◆ perms

    int** OrbitalReductionComponentData::perms

    the permutations for orbital reduction

    Definition at line 136 of file symmetry_orbital.c.

    Referenced by addComponent(), identifyOrbitalSymmetriesBroken(), and orbitalReductionGetSymmetryStabilizerSubgroup().

    ◆ nperms

    ◆ permvars

    SCIP_VAR** OrbitalReductionComponentData::permvars

    ◆ npermvars

    int OrbitalReductionComponentData::npermvars

    ◆ permvarmap

    SCIP_HASHMAP* OrbitalReductionComponentData::permvarmap

    map of variables to indices in permvars array

    Definition at line 140 of file symmetry_orbital.c.

    Referenced by addComponent(), applyOrbitalBranchingPropagations(), applyOrbitalReductionPropagations(), and SCIP_DECL_EVENTEXEC().

    ◆ symmetrybrokencomputed

    SCIP_Bool OrbitalReductionComponentData::symmetrybrokencomputed

    whether the symmetry broken information is computed already

    Definition at line 142 of file symmetry_orbital.c.

    Referenced by addComponent(), identifyOrbitalSymmetriesBroken(), orbitalReductionGetSymmetryStabilizerSubgroup(), orbitalReductionPropagateComponent(), and SCIP_DECL_EVENTEXEC().

    ◆ symbrokenvarids

    int* OrbitalReductionComponentData::symbrokenvarids

    variables to be stabilized because the symmetry is globally broken

    Definition at line 143 of file symmetry_orbital.c.

    Referenced by addComponent(), identifyOrbitalSymmetriesBroken(), and orbitalReductionGetSymmetryStabilizerSubgroup().

    ◆ nsymbrokenvarids

    int OrbitalReductionComponentData::nsymbrokenvarids

    symbrokenvarids array length, is 0 iff symbrokenvarids is NULL

    Definition at line 144 of file symmetry_orbital.c.

    Referenced by addComponent(), identifyOrbitalSymmetriesBroken(), orbitalReductionGetSymmetryStabilizerSubgroup(), and orbitalReductionPropagateComponent().

    ◆ treewarninggiven

    SCIP_Bool OrbitalReductionComponentData::treewarninggiven

    whether a warning is given for missing nodes in shadowtree

    Definition at line 146 of file symmetry_orbital.c.

    Referenced by addComponent(), and applyOrbitalBranchingPropagations().