Scippy

SCIP

Solving Constraint Integer Programs

Detailed Description

extension data; just used internally

Definition at line 187 of file extreducedefs.h.

#include <extreducedefs.h>

Public Member Functions
	STP_Vectype (int) sdeq_resetStack

Data Fields
int *const	extstack_data

int *const	extstack_start

int *const	extstack_state

int *const	tree_leaves

int *const	tree_innerNodes

int *const	tree_edges

int *const	tree_deg

SCIP_Real *const	tree_bottleneckDistNode

int *const	tree_parentNode

SCIP_Real *const	tree_parentEdgeCost

const SCIP_Bool *const	node_isterm

REDDATA *const	reddata

DISTDATA *const	distdata

DISTDATA *const	distdata_biased

const REDCOST *const	redcostdata

PCDATA *const	pcdata

SCIP_Bool *const	sdeq_edgesIsForbidden

SCIP_Bool	sdeq_hasForbiddenEdges

SCIP_Real	tree_cost

int	tree_nDelUpArcs

int	tree_root

int	tree_starcenter

int	tree_nedges

int	tree_depth

int	tree_nleaves

int	tree_ninnerNodes

int	extstack_ncomponents

int	ncostupdatestalls

int	genstar_centeredge

const int	extstack_maxncomponents

const int	extstack_maxsize

const int	tree_maxnleaves

const int	tree_maxdepth

const int	tree_maxnedges

enum EXTRED_MODE	mode

const EXTCOMP *const	extcomp

Member Function Documentation

◆ STP_Vectype()

extension_data::STP_Vectype ( int )

Field Documentation

◆ extstack_data

int* const extension_data::extstack_data

Definition at line 189 of file extreducedefs.h.

Referenced by addComponentUpdateTreeCosts(), baseMstGetOrderedParentNodes(), compUpDistUpdateLeavesDists(), extLeafRemoveTop(), extPreprocessInitialEdge(), extPreprocessInitialGenStar(), extPreprocessInitialStar(), extProcessInitialComponent(), extreduce_checkComponent(), extreduce_extdataCleanArraysDbg(), extreduce_mstLevelVerticalAddLeafInitial(), extreduce_nodeIsInStackTop(), extreduce_printStack(), extreduce_sdshorizontalInSync(), extreduce_stackTopIsHashed(), extStackAddCompInitialExpanded(), extStackAddCompsExpanded(), extStackAddCompsExpandedSing(), extStackAddCompsNonExpanded(), extStackGetTopRoot(), extStackTopCollectExtEdges(), extStackTopCollectExtEdgesSing(), extStackTopIsWrapped(), extStackTopProcessInitialEdges(), extTreeFindExtensions(), extTreeRuleOutSingletonFull(), extTreeRuleOutSingletonImplied(), extTreeStackTopAdd(), extTreeStackTopRemove(), extTruncate(), mst3LeafTreeGetSds(), mstCompBuildMst(), mstCompLeafGetSDsToSiblings(), and mstCompLeafToSiblingsBiasedRuleOut().

◆ extstack_start

int* const extension_data::extstack_start

Definition at line 190 of file extreducedefs.h.

Referenced by extBacktrack(), extExtend(), extInitialCompIsEdge(), extInitialCompIsStar(), extPreprocessInitialComponent(), extreduce_extdataCleanArraysDbg(), extreduce_extStackCompNOutedges(), extreduce_nodeIsInStackTop(), extreduce_printStack(), extreduce_stackTopIsHashed(), extStackAddCompInitialExpanded(), extStackAddCompsExpanded(), extStackAddCompsExpandedSing(), extStackAddCompsNonExpanded(), extStackGetOutEdgesEnd(), extStackGetOutEdgesStart(), extStackGetTopRoot(), extStackGetTopSize(), extStackTopCollectExtEdges(), extStackTopCollectExtEdgesSing(), extStackTopExpandInitial(), extStackTopGetInitalDataStart(), extStackTopIsSingleton(), extStackTopIsWrapped(), extStackTopProcessInitialEdges(), extTreeRuleOutSingletonFull(), extTreeRuleOutSingletonImplied(), extTreeStackTopAdd(), extTreeStackTopRemove(), and extTruncate().

◆ extstack_state

◆ tree_leaves

int* const extension_data::tree_leaves

Definition at line 192 of file extreducedefs.h.

Referenced by addComponentUpdateLeavesStarts(), compRootDistAddLeaf(), compRootDistsUpdateLeavesDists(), compUpDistAddLeaf(), compUpDistUpdateLeavesDists(), dbgBottleneckFromLeafIsDominated(), extLeafAdd(), extLeafFindPos(), extLeafRemove(), extLeafRemoveTop(), extPreprocessInitialComponent(), extreduce_extdataCleanArraysDbg(), extreduce_mstbiased3LeafTreeRuleOut(), extreduce_mstTopCompInSync(), extreduce_mstTopCompObjValid(), extreduce_printLeaves(), extreduce_redcostRuleOutPeriph(), extreduce_sdsTopInSync(), extreduce_sdsverticalInSync(), extreduce_spg3LeafTreeRuleOut(), extTreeGetDirectedRedcost(), extTreeGetDirectedRedcostProper(), extTreeRedcostCutoff(), getTreeRedcosts_dbg(), mst3LeafTreeGetSds(), mstCompLeafGetSDsToAncestors(), mstCompLeafToAncestorsBiasedRuleOut(), mstEqComp3RuleOut(), mstLevelLeafSetVerticalSDsBoth(), mstTopLevelBaseGetNodes(), ruledOut(), sdmstGetExtWeight(), and treeLeavesAreFlawed().

◆ tree_innerNodes

int* const extension_data::tree_innerNodes

Definition at line 193 of file extreducedefs.h.

Referenced by extInnerNodeAdd(), extInnerNodeRemoveTop(), extreduce_bottleneckCheckNonLeaves(), extreduce_extdataCleanArraysDbg(), extreduce_treeRecompCosts(), and treeInnerNodesAreFlawed().

◆ tree_edges

int* const extension_data::tree_edges

Definition at line 194 of file extreducedefs.h.

Referenced by extreduce_extdataCleanArraysDbg(), extreduce_redcostTreeRecompute(), extreduce_treeIsHashed(), extreduce_treeRecompCosts(), extTreeAddEdge(), getTreeRedcosts_dbg(), treeDegreesAreFlawed(), treeGetCounters(), treeInnerNodesAreFlawed(), treeLeavesAreFlawed(), and treeResetCounters().

◆ tree_deg

int* const extension_data::tree_deg

-1 for forbidden nodes (e.g. PC terminals), nnodes for current tail, 0 otherwise; in method: position ( > 0) for nodes in tree

Definition at line 195 of file extreducedefs.h.

Referenced by bottleneckGetDist(), bottleneckMarkEqualityEdges(), extInnerNodeAdd(), extLeafAdd(), extLeafFindPos(), extLeafRemove(), extLeafRemoveTop(), extPreprocessInitialComponent(), extPreprocessInitialGenStar(), extPreprocessInitialStar(), extProcessInitialComponent(), extreduce_bottleneckCheckNonLeaves(), extreduce_bottleneckCheckNonLeaves_pc(), extreduce_bottleneckMarkRootPath(), extreduce_bottleneckUnmarkRootPath(), extreduce_extCompClean(), extreduce_extdataIsClean(), extreduce_mstLevelVerticalAddLeaf(), extreduce_mstLevelVerticalAddLeafInitial(), extreduce_mstTopLevelBaseObjValid(), extreduce_sdshorizontalInSync(), extreduce_sdsverticalInSync(), extStackAddCompsExpanded(), extStackGetTopRoot(), extStackTopCollectExtEdges(), extStackTopCollectExtEdgesSing(), extStackTopProcessInitialEdges(), extTreeAddEdge(), extTreeGetDirectedRedcostProper(), extTreeRuleOutEdgeSimple(), extTreeRuleOutSingletonFull(), extTreeRuleOutSingletonImplied(), extTreeStackTopRemove(), extTreeStackTopRootRemove(), extTruncate(), mstCompLeafGetSDsToSiblings(), mstCompLeafToSiblingsBiasedRuleOut(), mstLevelLeafSetVerticalSDsBoth(), pcSdToNodeMark(), spg4VerticesRuleOut(), treeDegreesAreFlawed(), and treeGetCounters().

◆ tree_bottleneckDistNode

SCIP_Real* const extension_data::tree_bottleneckDistNode

needs to be set to -1.0 (for all nodes)

Definition at line 197 of file extreducedefs.h.

Referenced by bottleneckGetDist(), bottleneckMarkEqualityEdges(), extreduce_bottleneckMarkRootPath(), extreduce_bottleneckUnmarkRootPath(), extreduce_extdataIsClean(), and treeDistsAreFlawed().

◆ tree_parentNode

int* const extension_data::tree_parentNode

Definition at line 198 of file extreducedefs.h.

Referenced by bottleneckGetDist(), bottleneckMarkEqualityEdges(), bottleneckMarkEqualityPath(), extPreprocessInitialComponent(), extPreprocessInitialGenStar(), extPreprocessInitialStar(), extreduce_bottleneckMarkRootPath(), extreduce_bottleneckUnmarkRootPath(), extreduce_extdataCleanArraysDbg(), extTreeAddEdge(), and getTreeRedcosts_dbg().

◆ tree_parentEdgeCost

SCIP_Real* const extension_data::tree_parentEdgeCost

of size nnodes

Definition at line 199 of file extreducedefs.h.

Referenced by bottleneckGetDist(), bottleneckMarkEqualityEdges(), bottleneckMarkEqualityPath(), extPreprocessInitialComponent(), extPreprocessInitialGenStar(), extPreprocessInitialStar(), extreduce_bottleneckMarkRootPath(), extreduce_extdataCleanArraysDbg(), and extTreeAddEdge().

◆ node_isterm

const SCIP_Bool* const extension_data::node_isterm

marks whether node is a terminal (or proper terminal for PC)

Definition at line 200 of file extreducedefs.h.

Referenced by extTreeFindExtensions(), extTreeGetDirectedRedcostProper(), and extTruncate().

◆ reddata

REDDATA* const extension_data::reddata

Definition at line 201 of file extreducedefs.h.

Referenced by addComponent(), compMstFinalizeNew(), compMstInitExtComp(), compMstInitMsts(), compRootDistsUpdateLeavesDists(), compUpDistUpdateLeavesDists(), extBacktrack(), extPreprocessInitialComponent(), extProcessComponent(), extreduce_contractionRuleOutPeriph(), extreduce_extCompClean(), extreduce_extdataCleanArraysDbg(), extreduce_mstCompRemove(), extreduce_mstInternalsInSync(), extreduce_mstLevelClose(), extreduce_mstLevelHorizontalAdd(), extreduce_mstLevelHorizontalAddEmpty(), extreduce_mstLevelVerticalAddEmpty(), extreduce_mstLevelVerticalReopen(), extreduce_mstTopCompInSync(), extreduce_mstTopLevelBaseObjValid(), extreduce_printTopLevel(), extreduce_redcostInitExpansion(), extreduce_redcostRuleOutPeriph(), extreduce_redcostTreeRecompute(), extreduce_sdshorizontalInSync(), extreduce_sdsverticalInSync(), extreduce_stackTopIsHashed(), extreduce_treeIsHashed(), extreduce_treeRecompCosts(), extStackAddCompsExpanded(), extStackTopCollectExtEdges(), extStackTopExpandInitial(), extStackTopProcessInitialEdges(), extTreeGetDirectedRedcostProper(), extTreeRuleOutEdgeSimple(), extTreeRuleOutSingletonFull(), extTreeRuleOutSingletonImplied(), extTreeStackTopAdd(), extTreeStackTopRemove(), extUnhashInitialComponent(), mst3LeafTreeGetSds(), mstAddRootLevelMsts(), mstAddRootLevelSDs(), mstCompAddLeaf(), mstCompLeafGetSDs(), mstCompLeafGetSDsToAncestors(), mstCompLeafGetSDsToSiblings(), mstCompLeafToAncestorsBiasedRuleOut(), mstCompLeafToSiblingsBiasedRuleOut(), mstCompRuleOut(), mstLevelLeafExit(), mstLevelLeafInit(), mstLevelLeafSetVerticalSDsBoth(), mstLevelLeafTryExtMst(), and ruledOut().

◆ distdata

DISTDATA* const extension_data::distdata

Definition at line 202 of file extreducedefs.h.

Referenced by extGetSd(), extGetSdDouble(), extreduce_distDataGetSdDoubleForbidden(), extreduce_distDataGetSdDoubleForbiddenEq(), extreduce_mstbiased3LeafTreeRuleOut(), extreduce_mstLevelHorizontalAdd(), mst3LeafTreeGetSds(), and spg4VerticesRuleOut().

◆ distdata_biased

DISTDATA* const extension_data::distdata_biased

can be NULL

Definition at line 203 of file extreducedefs.h.

Referenced by extreduce_mstbiased3LeafTreeRuleOut(), extreduce_mstLevelHorizontalAdd(), mst3LeafTreeGetSds(), mstCompLeafToAncestorsBiasedRuleOut(), and mstLevelLeafSetVerticalSDsBoth().

◆ redcostdata

const REDCOST* const extension_data::redcostdata

Definition at line 204 of file extreducedefs.h.

Referenced by extreduce_redcostAddEdge(), extreduce_redcostInitExpansion(), extreduce_redcostRemoveEdge(), extreduce_redcostTreeRecompute(), extTreeGetDirectedRedcostProper(), extTreeRedcostCutoff(), and getTreeRedcosts_dbg().

◆ pcdata

PCDATA* const extension_data::pcdata

Definition at line 205 of file extreducedefs.h.

Referenced by addComponentUpdateTreeCosts(), extGetSd(), extGetSdDouble(), extGetSdDoubleFromDistdata(), extInnerNodeAdd(), extInnerNodeRemoveTop(), extProbIsPc(), extProcessComponent(), extreduce_bottleneckCheckNonLeaves_pc(), extreduce_extCompClean(), extreduce_treeRecompCosts(), mstCompRuleOut(), mstLevelLeafInit(), mstLevelLeafTryExtMst(), pcSdToNodeMark(), pcSdToNodeUnmark(), and treeDistsAreFlawed().

◆ sdeq_edgesIsForbidden

SCIP_Bool* const extension_data::sdeq_edgesIsForbidden

Definition at line 206 of file extreducedefs.h.

Referenced by bottleneckMarkEqualityEdge(), bottleneckMarkEqualityPath(), extreduce_distDataGetSdDoubleForbidden(), extreduce_distDataGetSdDoubleForbiddenEq(), extreduce_extCompClean(), and extreduce_extdataIsClean().

◆ sdeq_hasForbiddenEdges

SCIP_Bool extension_data::sdeq_hasForbiddenEdges

Definition at line 208 of file extreducedefs.h.

Referenced by bottleneckMarkEqualityEdge(), bottleneckMarkEqualityPath(), extreduce_extCompClean(), and mstEqComp3RuleOut().

◆ tree_cost

SCIP_Real extension_data::tree_cost

Definition at line 209 of file extreducedefs.h.

Referenced by addComponentUpdateTreeCosts(), extreduce_extdataClean(), extreduce_extdataIsClean(), extreduce_treeRecompCosts(), extTreeAddEdge(), extTreeStackTopRemove(), mstCompRuleOut(), and mstLevelLeafTryExtMst().

◆ tree_nDelUpArcs

int extension_data::tree_nDelUpArcs

Definition at line 210 of file extreducedefs.h.

Referenced by extreduce_extdataClean(), extreduce_extdataIsClean(), extreduce_redcostAddEdge(), extreduce_redcostRemoveEdge(), extreduce_treeRecompCosts(), and extTreeGetDirectedRedcost().

◆ tree_root

int extension_data::tree_root

◆ tree_starcenter

int extension_data::tree_starcenter

Definition at line 212 of file extreducedefs.h.

Referenced by extPreprocessInitialGenStar(), extPreprocessInitialStar(), extreduce_bottleneckMarkRootPath(), extreduce_extdataClean(), extreduce_extdataIsClean(), extreduce_redcostAddEdge(), extStackTopProcessInitialEdges(), extTreeAddEdge(), extTreeStackTopRootRemove(), mstCompLeafGetSDs(), and mstLevelLeafAdjustVerticalSDs().

◆ tree_nedges

int extension_data::tree_nedges

Definition at line 213 of file extreducedefs.h.

Referenced by extreduce_extdataClean(), extreduce_extdataIsClean(), extreduce_redcostTreeRecompute(), extreduce_treeIsHashed(), extreduce_treeRecompCosts(), extTreeAddEdge(), extTreeStackTopAdd(), extTreeStackTopRemove(), extTruncate(), getTreeRedcosts_dbg(), treeDegreesAreFlawed(), treeGetCounters(), treeInnerNodesAreFlawed(), treeLeavesAreFlawed(), and treeResetCounters().

◆ tree_depth

int extension_data::tree_depth

Definition at line 214 of file extreducedefs.h.

Referenced by addComponent(), compMstInitExtComp(), extreduce_extdataClean(), extreduce_extdataIsClean(), extreduce_mstCompRemove(), extreduce_mstLevelInitialInit(), extTreeStackTopAdd(), extTreeStackTopRemove(), extTruncate(), mstAddRootLevelMsts(), and mstLevelHorizontalAddSds().

◆ tree_nleaves

int extension_data::tree_nleaves

Definition at line 215 of file extreducedefs.h.

Referenced by addComponentUpdateLeavesStarts(), baseMstBuildNew(), baseMstInitMsts(), compMstInitMsts(), dbgBottleneckFromLeafIsDominated(), extGetNancestorLeaves(), extLeafAdd(), extLeafFindPos(), extLeafRemove(), extLeafRemoveTop(), extPreprocessInitialComponent(), extreduce_contractionRuleOutPeriph(), extreduce_extdataClean(), extreduce_extdataIsClean(), extreduce_mstbiased3LeafTreeRuleOut(), extreduce_mstLevelInitialInit(), extreduce_mstLevelVerticalAddEmpty(), extreduce_mstLevelVerticalReopen(), extreduce_mstTopCompInSync(), extreduce_mstTopCompObjValid(), extreduce_mstTopLevelBaseObjValid(), extreduce_printLeaves(), extreduce_redcostRuleOutPeriph(), extreduce_sdsTopInSync(), extreduce_sdsverticalInSync(), extreduce_spg3LeafTreeRuleOut(), extTreeGetDirectedRedcost(), extTreeGetDirectedRedcostProper(), extTreeRedcostCutoff(), extTreeStackTopRootRemove(), extTruncate(), getTreeRedcosts_dbg(), mstCompAddLeaf(), mstCompRuleOut(), mstEqComp3RuleOut(), mstLevelLeafAdjustVerticalSDs(), mstLevelLeafSetVerticalSDsBoth(), mstLevelLeafTryExtMst(), mstTopLevelBaseGetNodes(), sdmstGetExtWeight(), and treeLeavesAreFlawed().

◆ tree_ninnerNodes

int extension_data::tree_ninnerNodes

Definition at line 216 of file extreducedefs.h.

Referenced by extInnerNodeAdd(), extInnerNodeRemoveTop(), extreduce_bottleneckCheckNonLeaves(), extreduce_extdataClean(), extreduce_extdataIsClean(), extreduce_treeRecompCosts(), and treeInnerNodesAreFlawed().

◆ extstack_ncomponents

int extension_data::extstack_ncomponents

Definition at line 217 of file extreducedefs.h.

Referenced by extBacktrack(), extIsAtInitialComp(), extPreprocessInitialComponent(), extProcessComponent(), extreduce_extdataClean(), extreduce_extdataIsClean(), extreduce_printStack(), extStackAddCompInitialExpanded(), extStackAddCompsExpanded(), extStackAddCompsExpandedSing(), extStackAddCompsNonExpanded(), extStackGetPosition(), extStackIsExtendable(), and extTruncate().

◆ ncostupdatestalls

int extension_data::ncostupdatestalls

cost update stalls counter

Definition at line 218 of file extreducedefs.h.

Referenced by extreduce_extdataClean(), extreduce_extdataIsClean(), and extTreeSyncWithStack().

◆ genstar_centeredge

int extension_data::genstar_centeredge

Definition at line 219 of file extreducedefs.h.

Referenced by extInitialCompIsEdge(), extInitialCompIsGenStar(), extInitialCompIsStar(), extPreprocessInitialGenStar(), extTreeAddEdge(), and extTreeStackTopRootRemove().

◆ extstack_maxncomponents

const int extension_data::extstack_maxncomponents

Definition at line 220 of file extreducedefs.h.

Referenced by extBacktrack(), extStackAddCompsNonExpanded(), extStackIsExtendable(), and extTruncate().

◆ extstack_maxsize

const int extension_data::extstack_maxsize

Definition at line 221 of file extreducedefs.h.

Referenced by extExtend(), extStackAddCompsNonExpanded(), extStackIsExtendable(), extTreeStackTopAdd(), and extTruncate().

◆ tree_maxnleaves

const int extension_data::tree_maxnleaves

Definition at line 222 of file extreducedefs.h.

Referenced by extTruncate().

◆ tree_maxdepth

const int extension_data::tree_maxdepth

Definition at line 223 of file extreducedefs.h.

Referenced by extTruncate().

◆ tree_maxnedges

const int extension_data::tree_maxnedges

Definition at line 224 of file extreducedefs.h.

Referenced by extTruncate().

◆ mode

enum EXTRED_MODE extension_data::mode

mode

Definition at line 225 of file extreducedefs.h.

Referenced by extreduce_mstLevelVerticalAddLeaf().

◆ extcomp

const EXTCOMP* const extension_data::extcomp

Definition at line 226 of file extreducedefs.h.

Referenced by extTreeFindExtensions().