Scippy

SCIP

Solving Constraint Integer Programs

Detailed Description

Reduction data; just used internally. Stores information for SDs between tree vertices, reduced costs, and pseudo-ancestor conflicts.

Definition at line 138 of file extreducedefs.h.

#include <extreducedefs.h>

Public Member Functions
	STP_Vectype (int) *nodes_implications

Data Fields
CONTRACT *	contration

DCMST *const	dcmst

CSRDEPO *const	msts_comp

CSRDEPO *const	msts_levelbase

MLDISTS *const	sds_horizontal

MLDISTS *const	sds_vertical

MLDISTS *const	sdsbias_horizontal

MLDISTS *const	sdsbias_vertical

const STP_Bool *const	edgedeleted

int *const	pseudoancestor_mark

SCIP_Real *const	redcost_treecosts

SCIP_Bool *const	redcost_noReversedTree

SCIP_Real *const	redcost_treenodeswaps

const int	redcost_nlevels

const SCIP_Bool	redcost_allowEquality

const SCIP_Bool	sdsbias_use

Member Function Documentation

◆ STP_Vectype()

reduction_data::STP_Vectype ( int )

Field Documentation

◆ contration

CONTRACT* reduction_data::contration

contraction data

Definition at line 140 of file extreducedefs.h.

Referenced by addComponent(), extreduce_checkComponent(), extreduce_contractionRuleOutPeriph(), extreduce_reddataClean(), and ruledOut().

◆ dcmst

DCMST* const reduction_data::dcmst

Definition at line 141 of file extreducedefs.h.

Referenced by baseMstBuildNew(), mstCompAddLeaf(), mstLevelLeafTryExtMst(), and ruledOut().

◆ msts_comp

CSRDEPO* const reduction_data::msts_comp

Definition at line 142 of file extreducedefs.h.

Referenced by compMstFinalizeNew(), compMstInitMsts(), extreduce_extCompClean(), extreduce_mstCompRemove(), extreduce_mstInternalsInSync(), extreduce_mstTopCompInSync(), mstAddRootLevelMsts(), mstCompRuleOut(), and mstLevelLeafTryExtMst().

◆ msts_levelbase

CSRDEPO* const reduction_data::msts_levelbase

Definition at line 143 of file extreducedefs.h.

Referenced by baseMstFinalizeNew(), baseMstInitMsts(), compMstInitMsts(), extreduce_extCompClean(), extreduce_mstInternalsInSync(), extreduce_mstLevelRemove(), extreduce_mstTopLevelBaseObjValid(), mstAddRootLevelMsts(), mstLevelBuildBaseMstRoot(), and ruledOut().

◆ sds_horizontal

MLDISTS* const reduction_data::sds_horizontal

Definition at line 144 of file extreducedefs.h.

Referenced by baseMstGetAdjcosts(), compRootDistsUpdateLeavesDists(), extreduce_extCompClean(), extreduce_mstInternalsInSync(), extreduce_mstLevelClose(), extreduce_mstLevelHorizontalAdd(), extreduce_mstLevelHorizontalAddEmpty(), extreduce_mstLevelHorizontalRemove(), extreduce_mstLevelRemove(), extreduce_printTopLevel(), extreduce_sdshorizontalInSync(), mst3LeafTreeGetSds(), mstAddRootLevelSDs(), and mstCompLeafGetSDsToSiblings().

◆ sds_vertical

◆ sdsbias_horizontal

MLDISTS* const reduction_data::sdsbias_horizontal

can be NULL

Definition at line 146 of file extreducedefs.h.

Referenced by extReddataHasBiasedSds(), extreduce_extCompClean(), extreduce_mstLevelHorizontalAdd(), extreduce_mstLevelHorizontalAddEmpty(), extreduce_mstLevelHorizontalRemove(), extreduce_mstLevelRemove(), mst3LeafTreeGetSds(), mstAddRootLevelSDs(), and mstCompLeafToSiblingsBiasedRuleOut().

◆ sdsbias_vertical

MLDISTS* const reduction_data::sdsbias_vertical

can be NULL

Definition at line 147 of file extreducedefs.h.

Referenced by baseMstInitExtComp(), extReddataHasBiasedSds(), extreduce_extCompClean(), extreduce_mstLevelInitialInit(), extreduce_mstLevelRemove(), extreduce_mstLevelVerticalAddEmpty(), extreduce_mstLevelVerticalClose(), extreduce_mstLevelVerticalRemove(), extreduce_mstLevelVerticalReopen(), mst3LeafTreeGetSds(), mstAddRootLevelSDs(), mstCompLeafToAncestorsBiasedRuleOut(), mstLevelLeafExit(), mstLevelLeafInit(), and mstLevelLeafSetVerticalSDsBoth().

◆ edgedeleted

const STP_Bool* const reduction_data::edgedeleted

Definition at line 148 of file extreducedefs.h.

Referenced by extreduce_redcostAddEdge(), extreduce_redcostRemoveEdge(), extreduce_redcostTreeRecompute(), and extreduce_treeRecompCosts().

◆ pseudoancestor_mark

int* const reduction_data::pseudoancestor_mark

Definition at line 149 of file extreducedefs.h.

Referenced by extreduce_extCompClean(), extreduce_reddataIsClean(), extreduce_stackTopIsHashed(), extreduce_treeIsHashed(), extTreeRuleOutEdgeSimple(), extTreeStackTopAdd(), extTreeStackTopRemove(), and extUnhashInitialComponent().

◆ redcost_treecosts

SCIP_Real* const reduction_data::redcost_treecosts

Definition at line 151 of file extreducedefs.h.

Referenced by extreduce_redcostAddEdge(), extreduce_redcostRemoveEdge(), extreduce_redcostTreeRecompute(), extreduce_reddataClean(), extreduce_reddataIsClean(), and extTreeGetDirectedRedcostProper().

◆ redcost_noReversedTree

SCIP_Bool* const reduction_data::redcost_noReversedTree

Definition at line 152 of file extreducedefs.h.

Referenced by extreduce_redcostAddEdge(), and extreduce_redcostInitExpansion().

◆ redcost_treenodeswaps

SCIP_Real* const reduction_data::redcost_treenodeswaps

Definition at line 153 of file extreducedefs.h.

Referenced by extPreprocessInitialComponent(), extreduce_extdataCleanArraysDbg(), extreduce_redcostAddEdge(), extreduce_redcostInitExpansion(), extTreeGetDirectedRedcost(), and extTreeGetDirectedRedcostProper().

◆ redcost_nlevels

const int reduction_data::redcost_nlevels

Definition at line 154 of file extreducedefs.h.

Referenced by extPreprocessInitialComponent(), extreduce_extdataCleanArraysDbg(), extreduce_redcostAddEdge(), extreduce_redcostInitExpansion(), extreduce_redcostRemoveEdge(), extreduce_redcostRuleOutPeriph(), extreduce_redcostTreeRecompute(), extreduce_reddataClean(), and extreduce_reddataIsClean().

◆ redcost_allowEquality

const SCIP_Bool reduction_data::redcost_allowEquality

Definition at line 155 of file extreducedefs.h.

Referenced by extTreeRedcostCutoff().

◆ sdsbias_use

const SCIP_Bool reduction_data::sdsbias_use

Definition at line 156 of file extreducedefs.h.

Referenced by extReddataHasBiasedSds().