Scippy

SCIP

Solving Constraint Integer Programs

OrbitopeData Struct Reference

Detailed Description

orbitopal symmetry handling data for a single orbitope

Definition at line 126 of file symmetry_orbitopal.c.

Data Fields

SCIP_VAR ** vars
 
int nrows
 
int ncols
 
int nbranchrows
 
SCIP_HASHMAProwindexmap
 
SCIP_HASHMAPcolindexmap
 
SCIP_Longint lastnodenumber
 
int dbghash
 
SCIP_HASHTABLEnodeinfos
 
SCIP_COLUMNORDERING columnordering
 
SCIP_ROWORDERING rowordering
 

Field Documentation

◆ vars

SCIP_VAR** OrbitopeData::vars

◆ nrows

◆ ncols

◆ nbranchrows

int OrbitopeData::nbranchrows

number of rows containing variables potentially used for branching

Definition at line 131 of file symmetry_orbitopal.c.

Referenced by addOrbitope().

◆ rowindexmap

SCIP_HASHMAP* OrbitopeData::rowindexmap

map of variables to row index in orbitope matrix

Definition at line 132 of file symmetry_orbitopal.c.

Referenced by addOrbitope(), and SCIP_DECL_EVENTEXEC().

◆ colindexmap

SCIP_HASHMAP* OrbitopeData::colindexmap

map of variables to column index in orbitope matrix

Definition at line 133 of file symmetry_orbitopal.c.

Referenced by addOrbitope(), SCIP_DECL_EVENTEXEC(), and updateColumnOrderWhenBranchingOnColumn().

◆ lastnodenumber

SCIP_Longint OrbitopeData::lastnodenumber

the last node number where the row and column order is computed

Definition at line 135 of file symmetry_orbitopal.c.

Referenced by addOrbitope(), and propagateOrbitope().

◆ dbghash

int OrbitopeData::dbghash

a hash for the column order in the last iteration

Definition at line 136 of file symmetry_orbitopal.c.

Referenced by addOrbitope(), and propagateOrbitope().

◆ nodeinfos

SCIP_HASHTABLE* OrbitopeData::nodeinfos

symmetry handling information per branch-and-bound tree node

Definition at line 138 of file symmetry_orbitopal.c.

Referenced by getRowOrder(), populateRootedPathColumnOrder(), and SCIP_DECL_EVENTEXEC().

◆ columnordering

SCIP_COLUMNORDERING OrbitopeData::columnordering

policy for the column ordering

Definition at line 139 of file symmetry_orbitopal.c.

Referenced by addOrbitope(), freeColumnOrder(), getColumnOrder(), SCIP_DECL_EVENTEXEC(), and updateColumnOrderWhenBranchingOnColumn().

◆ rowordering

SCIP_ROWORDERING OrbitopeData::rowordering

policy for the row ordering

Definition at line 140 of file symmetry_orbitopal.c.

Referenced by addOrbitope(), freeRowOrder(), getRowOrder(), and SCIP_DECL_EVENTEXEC().