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_HASHMAP *	rowindexmap
SCIP_HASHMAP *	colindexmap
SCIP_Longint	lastnodenumber
int	dbghash
SCIP_HASHTABLE *	nodeinfos
SCIP_COLUMNORDERING	columnordering
SCIP_ROWORDERING	rowordering

Field Documentation

vars

SCIP_VAR** OrbitopeData::vars

orbitope variable array representing orbitope matrix row-wise

Definition at line 128 of file symmetry_orbitopal.c.

Referenced by addOrbitope(), assertIsOrbitopeMatrix(), propagateStaticOrbitope(), rowIsBranchRow(), SCIP_DECL_EVENTEXEC(), testColumnsAreSymmetricallyEquivalent(), and updateColumnOrderWhenBranchingOnColumn().

nrows

int OrbitopeData::nrows

number of rows

Definition at line 129 of file symmetry_orbitopal.c.

Referenced by addOrbitope(), assertIsOrbitopeMatrix(), debugGetArrayHash(), freeRowOrder(), getRowOrder(), propagateOrbitope(), propagateStaticOrbitope(), rowIsBranchRow(), SCIP_DECL_EVENTEXEC(), testColumnsAreSymmetricallyEquivalent(), and updateColumnOrderWhenBranchingOnColumn().

ncols

int OrbitopeData::ncols

number of columns

Definition at line 130 of file symmetry_orbitopal.c.

Referenced by addOrbitope(), assertIsOrbitopeMatrix(), debugGetArrayHash(), freeColumnOrder(), getColumnOrder(), getRowOrder(), populateRootedPathColumnOrder(), propagateOrbitope(), propagateStaticOrbitope(), rowIsBranchRow(), SCIP_DECL_EVENTEXEC(), testColumnsAreSymmetricallyEquivalent(), and updateColumnOrderWhenBranchingOnColumn().

nbranchrows

int OrbitopeData::nbranchrows

number of rows containing variables potentially used for branching

Definition at line 131 of file symmetry_orbitopal.c.

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