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

◆ 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().