Detailed Description

constraint handler for (partitioning/packing/full) orbitope constraints w.r.t. the full symmetric group

Author: Timo Berthold; Marc Pfetsch; Christopher Hojny

The type of constraints of this constraint handler is described in cons_orbitope.h.

The details of the method implemented here are described in the following papers.

Packing and Partitioning Orbitopes
Volker Kaibel and Marc E. Pfetsch,
Math. Program. 114, No. 1, 1-36 (2008)

Among other things, this paper describes so-called shifted column inequalities of the following form \(x(S) \leq x(B)\), where \(S\) is a so-called shifted column and \(B\) is a so-called bar. These inequalities can be used to handle symmetry and they are separated in this constraint handler. We use the linear time separation algorithm of the paper.

Orbitopal Fixing
Volker Kaibel, Matthias Peinhardt, and Marc E. Pfetsch,
Discrete Optimization 8, No. 4, 595-610 (2011) (A preliminary version appears in Proc. IPCO 2007.)

In this paper a linear time propagation algorithm is described, a variant of which is implemented here. The implemented variant does not run in linear time, but is very fast in practice.

translation table
here	paper

nspcons	p
nblocks	q
vars	x
vals	A^\star
weights	\omega
cases	\tau
fixtriangle	–
resolveprop	–
firstnonzeros	\mu
lastones	\alpha
frontiersteps	\Gamma

Orbitopal fixing for the full (sub-)orbitope and application to the Unit Commitment Problem
Pascale Bendotti, Pierre Fouilhoux, and Cecile Rottner,
Optimization Online: http://www.optimization-online.org/DB_HTML/2017/10/6301.html

Two linear time propagation algorithms for full orbitopes are described in this paper, a static version and a dynamic one. While the static version uses a fixed variable order, the dynamic version determines the variable order during the solving process via branching descisions. We implemented the static version as well as a modified version of the dynamic one. The reason for the latter is to simplify the compatibility with full orbitope cutting planes.

Note, however, that the dynamic version may lead to conflicts if orbitopes are copied to subSCIPs. Since the dynamic version is based on branching decisions, which may be different in main SCIP and subSCIPs, orbitopes using the dynamic algorithm are not allowed to be copied. However, as a user might use orbitopes to enforce a certain variable ordering in a solution, we distinguish whether an orbitope is a model constraint or not. If it is a model constraint, we assume that a variable order has already been fixed and disable the dynamic algorithm. In this case, orbitope constraints are copied to subSCIPs. If it is not a model constraint, the orbitope was added to handle symmetries but not to enforce a solution to have a certain structure. In this case, the dynamic algorithm can be used and we do not copy orbitope constraints to subSCIPs.

Polytopes associated with symmetry handling
Christopher Hojny and Marc E. Pfetsch,
Math. Program. (2018)

In this paper, a linear time separation algorithm for orbisacks (full orbitopes with two columnes) is described. We use this algorithm for every pair of adjacent columns within the orbitope as well as a version that is adapted to the reordering based on the dynamic full orbitope propagation algorithm to ensure validity of binary points via cutting planes.

Definition in file cons_orbitope.c.

#include "blockmemshell/memory.h"
#include "scip/cons_orbisack.h"
#include "scip/cons_orbitope.h"
#include "scip/cons_setppc.h"
#include "scip/pub_cons.h"
#include "scip/pub_message.h"
#include "scip/pub_var.h"
#include "scip/scip.h"
#include "scip/scip_branch.h"
#include "scip/scip_conflict.h"
#include "scip/scip_cons.h"
#include "scip/scip_copy.h"
#include "scip/scip_cut.h"
#include "scip/scip_general.h"
#include "scip/scip_lp.h"
#include "scip/scip_mem.h"
#include "scip/scip_message.h"
#include "scip/scip_numerics.h"
#include "scip/scip_param.h"
#include "scip/scip_prob.h"
#include "scip/scip_probing.h"
#include "scip/scip_sol.h"
#include "scip/scip_var.h"
#include "scip/symmetry.h"
#include <symmetry/type_symmetry.h>

Go to the source code of this file.

Macros
#define	CONSHDLR_NAME "orbitope"

#define	CONSHDLR_DESC "symmetry breaking constraint handler relying on (partitioning/packing) orbitopes"

#define	CONSHDLR_SEPAPRIORITY +40100

#define	CONSHDLR_ENFOPRIORITY -1005200

#define	CONSHDLR_CHECKPRIORITY -1005200

#define	CONSHDLR_SEPAFREQ -1

#define	CONSHDLR_PROPFREQ 1

#define	CONSHDLR_EAGERFREQ -1

#define	CONSHDLR_MAXPREROUNDS -1

#define	CONSHDLR_DELAYSEPA FALSE

#define	CONSHDLR_DELAYPROP FALSE

#define	CONSHDLR_NEEDSCONS TRUE

#define	CONSHDLR_PROP_TIMING SCIP_PROPTIMING_BEFORELP

#define	CONSHDLR_PRESOLTIMING SCIP_PRESOLTIMING_MEDIUM

#define	DEFAULT_PPORBITOPE TRUE

#define	DEFAULT_SEPAFULLORBITOPE FALSE

#define	DEFAULT_FORCECONSCOPY FALSE

Functions
static SCIP_RETCODE	consdataFree (SCIP scip, SCIP_CONSDATA *consdata)

static SCIP_RETCODE	consdataCreate (SCIP scip, SCIP_CONSDATA consdata, SCIP_VAR **vars, int nspcons, int nblocks, SCIP_ORBITOPETYPE orbitopetype, SCIP_Bool resolveprop, SCIP_Bool usedynamicprop, SCIP_Bool ismodelcons, SCIP_Bool mayinteract)

static SCIP_RETCODE	strengthenOrbitopeConstraint (SCIP scip, SCIP_VAR *vars, int nrows, int ncols, SCIP_ORBITOPETYPE *type, SCIP_Bool mayinteract)

static void	copyValues (SCIP scip, SCIP_CONSDATA consdata, SCIP_SOL *sol)

static void	computeSCTable (SCIP scip, int nspcons, int nblocks, SCIP_Real weights, int cases, SCIP_Real *vals)

static SCIP_RETCODE	fixTriangle (SCIP scip, SCIP_CONS cons, SCIP_Bool infeasible, int nfixedvars)

static SCIP_RETCODE	separateSCIs (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_CONS cons, SCIP_CONSDATA consdata, SCIP_Bool infeasible, int nfixedvars, int *ncuts)

static SCIP_RETCODE	propagatePackingPartitioningCons (SCIP scip, SCIP_CONS cons, SCIP_Bool infeasible, int nfixedvars)

static SCIP_RETCODE	computeDynamicRowOrder (SCIP scip, SCIP_HASHMAP rowindexmap, SCIP_Bool rowused, int roworder, int nrows, int ncols, int *maxrowlabel)

static SCIP_RETCODE	findLexMinFace (SCIP_VAR *vars, int lexminfixes, int minfixedrowlexmin, SCIP_Bool infeasible, int m, int n, int nrowsused, SCIP_Bool resprop)

static SCIP_RETCODE	findLexMaxFace (SCIP_VAR *vars, int lexmaxfixes, int minfixedrowlexmax, SCIP_Bool infeasible, int m, int n, int nrowsused, SCIP_Bool resprop)

static SCIP_RETCODE	propagateFullOrbitopeCons (SCIP scip, SCIP_CONS cons, SCIP_Bool infeasible, int nfixedvars, SCIP_Bool dynamic)

static SCIP_RETCODE	propagateCons (SCIP scip, SCIP_CONS cons, SCIP_Bool infeasible, int nfixedvars)

static SCIP_RETCODE	resolvePropagationFullOrbitope (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_CONS cons, int inferinfo, SCIP_BDCHGIDX bdchgidx, SCIP_RESULT *result)

static SCIP_RETCODE	resolvePropagation (SCIP scip, SCIP_CONS cons, int inferinfo, SCIP_BDCHGIDX bdchgidx, SCIP_RESULT result)

static SCIP_RETCODE	enfopsPackingPartitioningOrbitopeSolution (SCIP scip, SCIP_CONS cons, SCIP_RESULT *result)

static SCIP_RETCODE	checkPackingPartitioningOrbitopeSolution (SCIP scip, SCIP_CONS cons, SCIP_SOL sol, SCIP_RESULT result, SCIP_Bool printreason)

static SCIP_RETCODE	checkFullOrbitopeSolution (SCIP scip, SCIP_CONS cons, SCIP_SOL sol, SCIP_Bool printreason, SCIP_Bool feasible)

static SCIP_RETCODE	separateCoversOrbisack (SCIP scip, SCIP_CONS cons, SCIP_SOL sol, SCIP_Bool dynamic, int ngen, SCIP_Bool *infeasible)

static SCIP_RETCODE	separateConstraints (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_CONS *conss, int nconss, int nusefulconss, SCIP_SOL sol, SCIP_RESULT *result, SCIP_Bool enforce)

static SCIP_RETCODE	checkRedundantCons (SCIP scip, SCIP_CONS cons, SCIP_Bool *redundant)

static	SCIP_DECL_CONSHDLRCOPY (conshdlrCopyOrbitope)

static	SCIP_DECL_CONSFREE (consFreeOrbitope)

static	SCIP_DECL_CONSDELETE (consDeleteOrbitope)

static	SCIP_DECL_CONSTRANS (consTransOrbitope)

static	SCIP_DECL_CONSSEPALP (consSepalpOrbitope)

static	SCIP_DECL_CONSSEPASOL (consSepasolOrbitope)

static	SCIP_DECL_CONSENFOLP (consEnfolpOrbitope)

static	SCIP_DECL_CONSENFORELAX (consEnforelaxOrbitope)

static	SCIP_DECL_CONSENFOPS (consEnfopsOrbitope)

static	SCIP_DECL_CONSCHECK (consCheckOrbitope)

static	SCIP_DECL_CONSPROP (consPropOrbitope)

static	SCIP_DECL_CONSPRESOL (consPresolOrbitope)

static	SCIP_DECL_CONSRESPROP (consRespropOrbitope)

static	SCIP_DECL_CONSLOCK (consLockOrbitope)

static	SCIP_DECL_CONSPRINT (consPrintOrbitope)

static	SCIP_DECL_CONSCOPY (consCopyOrbitope)

static	SCIP_DECL_CONSPARSE (consParseOrbitope)

static	SCIP_DECL_CONSGETVARS (consGetVarsOrbitope)

static	SCIP_DECL_CONSGETNVARS (consGetNVarsOrbitope)

SCIP_RETCODE	SCIPincludeConshdlrOrbitope (SCIP *scip)

SCIP_RETCODE	SCIPcreateConsOrbitope (SCIP scip, SCIP_CONS cons, const char name, SCIP_VAR ***vars, SCIP_ORBITOPETYPE orbitopetype, int nspcons, int nblocks, SCIP_Bool usedynamicprop, SCIP_Bool mayinteract, SCIP_Bool resolveprop, SCIP_Bool ismodelcons, SCIP_Bool initial, SCIP_Bool separate, SCIP_Bool enforce, SCIP_Bool check, SCIP_Bool propagate, SCIP_Bool local, SCIP_Bool modifiable, SCIP_Bool dynamic, SCIP_Bool removable, SCIP_Bool stickingatnode)

SCIP_RETCODE	SCIPcreateConsBasicOrbitope (SCIP scip, SCIP_CONS cons, const char name, SCIP_VAR ***vars, SCIP_ORBITOPETYPE orbitopetype, int nspcons, int nblocks, SCIP_Bool usedynamicprop, SCIP_Bool resolveprop, SCIP_Bool ismodelcons, SCIP_Bool mayinteract)

Macro Definition Documentation

◆ CONSHDLR_NAME

#define CONSHDLR_NAME "orbitope"

Definition at line 129 of file cons_orbitope.c.

◆ CONSHDLR_DESC

#define CONSHDLR_DESC "symmetry breaking constraint handler relying on (partitioning/packing) orbitopes"

Definition at line 130 of file cons_orbitope.c.

◆ CONSHDLR_SEPAPRIORITY

#define CONSHDLR_SEPAPRIORITY +40100

priority of the constraint handler for separation

Definition at line 131 of file cons_orbitope.c.

◆ CONSHDLR_ENFOPRIORITY

#define CONSHDLR_ENFOPRIORITY -1005200

priority of the constraint handler for constraint enforcing

Definition at line 132 of file cons_orbitope.c.

◆ CONSHDLR_CHECKPRIORITY

#define CONSHDLR_CHECKPRIORITY -1005200

priority of the constraint handler for checking feasibility

Definition at line 133 of file cons_orbitope.c.

◆ CONSHDLR_SEPAFREQ

#define CONSHDLR_SEPAFREQ -1

frequency for separating cuts; zero means to separate only in the root node

Definition at line 134 of file cons_orbitope.c.

◆ CONSHDLR_PROPFREQ

#define CONSHDLR_PROPFREQ 1

frequency for propagating domains; zero means only preprocessing propagation

Definition at line 135 of file cons_orbitope.c.

◆ CONSHDLR_EAGERFREQ

#define CONSHDLR_EAGERFREQ -1

frequency for using all instead of only the useful constraints in separation, propagation and enforcement, -1 for no eager evaluations, 0 for first only

Definition at line 137 of file cons_orbitope.c.

◆ CONSHDLR_MAXPREROUNDS

#define CONSHDLR_MAXPREROUNDS -1

maximal number of presolving rounds the constraint handler participates in (-1: no limit)

Definition at line 138 of file cons_orbitope.c.

◆ CONSHDLR_DELAYSEPA

#define CONSHDLR_DELAYSEPA FALSE

should separation method be delayed, if other separators found cuts?

Definition at line 139 of file cons_orbitope.c.

◆ CONSHDLR_DELAYPROP

#define CONSHDLR_DELAYPROP FALSE

should propagation method be delayed, if other propagators found reductions?

Definition at line 140 of file cons_orbitope.c.

◆ CONSHDLR_NEEDSCONS

#define CONSHDLR_NEEDSCONS TRUE

should the constraint handler be skipped, if no constraints are available?

Definition at line 141 of file cons_orbitope.c.

◆ CONSHDLR_PROP_TIMING

#define CONSHDLR_PROP_TIMING SCIP_PROPTIMING_BEFORELP

propagation timing mask of the constraint handler

Definition at line 143 of file cons_orbitope.c.

◆ CONSHDLR_PRESOLTIMING

#define CONSHDLR_PRESOLTIMING SCIP_PRESOLTIMING_MEDIUM

presolving timing of the constraint handler (fast, medium, or exhaustive)

Definition at line 144 of file cons_orbitope.c.

◆ DEFAULT_PPORBITOPE

#define DEFAULT_PPORBITOPE TRUE

whether we check if full orbitopes can be strengthened to packing/partitioning orbitopes

Definition at line 146 of file cons_orbitope.c.

◆ DEFAULT_SEPAFULLORBITOPE

#define DEFAULT_SEPAFULLORBITOPE FALSE

whether we separate inequalities for full orbitopes

Definition at line 147 of file cons_orbitope.c.

◆ DEFAULT_FORCECONSCOPY

#define DEFAULT_FORCECONSCOPY FALSE

whether orbitope constraints should be forced to be copied to sub SCIPs

Definition at line 148 of file cons_orbitope.c.

Function Documentation

◆ consdataFree()

static SCIP_RETCODE consdataFree	(	SCIP *	scip,
		SCIP_CONSDATA **	consdata
	)

static

frees an orbitope constraint data

Parameters

scip	SCIP data structure
consdata	pointer to orbitope constraint data

Definition at line 194 of file cons_orbitope.c.

References NULL, SCIP_CALL, SCIP_OKAY, SCIPfreeBlockMemory, SCIPfreeBlockMemoryArrayNull, SCIPhashmapFree(), and SCIPreleaseVar().

Referenced by SCIP_DECL_CONSDELETE().

◆ consdataCreate()

static SCIP_RETCODE consdataCreate	(	SCIP *	scip,
		SCIP_CONSDATA **	consdata,
		SCIP_VAR ***	vars,
		int	nspcons,
		int	nblocks,
		SCIP_ORBITOPETYPE	orbitopetype,
		SCIP_Bool	resolveprop,
		SCIP_Bool	usedynamicprop,
		SCIP_Bool	ismodelcons,
		SCIP_Bool	mayinteract
	)

static

creates orbitope constraint data

Parameters

scip	SCIP data structure
consdata	pointer to store constraint data
vars	variables array, must have size nspcons x nblocks
nspcons	number of set partitioning (packing) constraints <=> p
nblocks	number of symmetric variable blocks <=> q
orbitopetype	type of orbitope constraint
resolveprop	should propagation be resolved?
usedynamicprop	whether we use a dynamic version of the propagation routine
ismodelcons	whether the orbitope is a model constraint
mayinteract	whether symmetries corresponding to orbitope might interact with symmetries handled by other routines

Definition at line 250 of file cons_orbitope.c.

References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPallocBlockMemory, SCIPallocBlockMemoryArray, SCIPblkmem(), SCIPcaptureVar(), SCIPduplicateBlockMemoryArray, SCIPgetTransformedVar(), SCIPhashmapCreate(), SCIPhashmapInsert(), SCIPisTransformed(), and SCIPmarkDoNotMultaggrVar().

Referenced by SCIP_DECL_CONSTRANS(), and SCIPcreateConsOrbitope().

◆ strengthenOrbitopeConstraint()

static SCIP_RETCODE strengthenOrbitopeConstraint	(	SCIP *	scip,
		SCIP_VAR ***	vars,
		int *	nrows,
		int	ncols,
		SCIP_ORBITOPETYPE *	type,
		SCIP_Bool	mayinteract
	)

static

strengthen full orbitopes to packing/partitioning orbitopes if possible

Parameters

scip	SCIP data structure
vars	variable matrix of orbitope constraint
nrows	pointer to number of rows of variable matrix
ncols	number of columns of variable matrix
type	pointer to store type of orbitope constraint after strengthening
mayinteract	whether symmetries corresponding to orbitope might interact with symmetries handled by other routines

Definition at line 355 of file cons_orbitope.c.

References NULL, r, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_ORBITOPETYPE_PACKING, SCIPfreeBlockMemoryArray, and SCIPisPackingPartitioningOrbitope().

Referenced by SCIPcreateConsOrbitope().

◆ copyValues()

static void copyValues	(	SCIP *	scip,
		SCIP_CONSDATA *	consdata,
		SCIP_SOL *	sol
	)

static

copies the variables values from the solution to the constraint data structure

Parameters

scip	the SCIP data structure
consdata	the constraint data
sol	a primal solution or NULL for the current LP optimum

Definition at line 565 of file cons_orbitope.c.

References NULL, and SCIPgetSolVal().

Referenced by checkPackingPartitioningOrbitopeSolution(), enfopsPackingPartitioningOrbitopeSolution(), and separateConstraints().

◆ computeSCTable()

static void computeSCTable	(	SCIP *	scip,
		int	nspcons,
		int	nblocks,
		SCIP_Real **	weights,
		int **	cases,
		SCIP_Real **	vals
	)

static

compute the dynamic programming table for SC

Build up dynamic programming table in order to find SCs with minimum weight.

The values of the minimal SCIs are stored in weights. The array cases[i][j] stores which of the cases were applied to get weights[i][j]. Here, 3 means that we have reached the upper limit.

We assume that the upper right triangle is fixed to 0. Hence we can perform the computation a bit more efficient.

Parameters

scip	SCIP pointer
nspcons	number of set partitioning (packing) constraints <=> p
nblocks	number of symmetric variable blocks <=> q
weights	SC weight table
cases	indicator of the SC cases
vals	current solution

Definition at line 601 of file cons_orbitope.c.

References NULL, SCIP_Real, and SCIPisLT().

Referenced by checkPackingPartitioningOrbitopeSolution(), enfopsPackingPartitioningOrbitopeSolution(), resolvePropagation(), and separateSCIs().

◆ fixTriangle()

static SCIP_RETCODE fixTriangle	(	SCIP *	scip,
		SCIP_CONS *	cons,
		SCIP_Bool *	infeasible,
		int *	nfixedvars
	)

static

fix upper right triangle if necessary

Parameters

scip	SCIP data structure
cons	constraint to be processed
infeasible	pointer to store TRUE, if the node can be cut off
nfixedvars	pointer to add up the number of found domain reductions

Definition at line 696 of file cons_orbitope.c.

References FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPconsGetData(), SCIPconsGetName(), SCIPdebugMsg, SCIPfixVar(), SCIPvarGetUbGlobal(), and TRUE.

Referenced by enfopsPackingPartitioningOrbitopeSolution(), propagatePackingPartitioningCons(), and separateSCIs().

◆ separateSCIs()

static SCIP_RETCODE separateSCIs	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS *	cons,
		SCIP_CONSDATA *	consdata,
		SCIP_Bool *	infeasible,
		int *	nfixedvars,
		int *	ncuts
	)

static

separates shifted column inequalities according to the solution stored in consdata->vals

Parameters

scip	the SCIP data structure
conshdlr	constraint handler
cons	constraint
consdata	the constraint data
infeasible	whether we detected infeasibility
nfixedvars	pointer to store the number of variables fixed
ncuts	pointer to store number of separated SCIs

Definition at line 779 of file cons_orbitope.c.

References computeSCTable(), FALSE, fixTriangle(), NULL, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_Real, SCIPaddRow(), SCIPaddVarsToRow(), SCIPcreateEmptyRowConshdlr(), SCIPinfinity(), SCIPisEfficacious(), SCIPisSumEQ(), SCIPreleaseRow(), SCIPsnprintf(), and TRUE.

Referenced by separateConstraints().

◆ propagatePackingPartitioningCons()

static SCIP_RETCODE propagatePackingPartitioningCons	(	SCIP *	scip,
		SCIP_CONS *	cons,
		SCIP_Bool *	infeasible,
		int *	nfixedvars
	)

static

propagation method for a single packing or partitioning orbitope constraint

Parameters

scip	SCIP data structure
cons	constraint to be processed
infeasible	pointer to store TRUE, if the node can be cut off
nfixedvars	pointer to add up the number of found domain reductions

Definition at line 942 of file cons_orbitope.c.

References FALSE, fixTriangle(), NULL, SCIP_Bool, SCIP_CALL, SCIP_CONFTYPE_PROPAGATION, SCIP_OKAY, SCIP_ORBITOPETYPE_PACKING, SCIP_ORBITOPETYPE_PARTITIONING, SCIP_STAGE_SOLVING, SCIPaddConflictBinvar(), SCIPallocBufferArray, SCIPallowStrongDualReds(), SCIPanalyzeConflictCons(), SCIPconsGetData(), SCIPdebugMsg, SCIPfreeBufferArray, SCIPgetStage(), SCIPinferBinvarCons(), SCIPinitConflictAnalysis(), SCIPinProbing(), SCIPisConflictAnalysisApplicable(), SCIPvarGetLbLocal(), SCIPvarGetUbLocal(), and TRUE.

Referenced by propagateCons().

◆ computeDynamicRowOrder()

static SCIP_RETCODE computeDynamicRowOrder	(	SCIP *	scip,
		SCIP_HASHMAP *	rowindexmap,
		SCIP_Bool *	rowused,
		int *	roworder,
		int	nrows,
		int	ncols,
		int *	maxrowlabel
	)

static

Parameters

scip	SCIP pointer
rowindexmap	map of variables to indices in orbitope vars matrix
rowused	bitset marking whether a row has been considered in the new order
roworder	reordering of the rows w.r.t. branching decisions
nrows	number of rows in orbitope
ncols	number of columns in orbitope
maxrowlabel	maximum row label in ordering

Definition at line 1304 of file cons_orbitope.c.

References NULL, SCIP_BOUNDCHGTYPE_BRANCHING, SCIP_CALL, SCIP_OKAY, SCIP_VARTYPE_BINARY, SCIPallocBufferArray, SCIPboundchgGetBoundchgtype(), SCIPboundchgGetVar(), SCIPdomchgGetBoundchg(), SCIPdomchgGetNBoundchgs(), SCIPfreeBufferArray, SCIPgetCurrentNode(), SCIPhashmapExists(), SCIPhashmapGetImage(), SCIPnodeGetDepth(), SCIPnodeGetDomchg(), SCIPnodeGetParent(), SCIPvarGetType(), and TRUE.

Referenced by propagateFullOrbitopeCons().

◆ findLexMinFace()

static SCIP_RETCODE findLexMinFace	(	SCIP_VAR ***	vars,
		int **	lexminfixes,
		int *	minfixedrowlexmin,
		SCIP_Bool *	infeasible,
		int	m,
		int	n,
		int	nrowsused,
		SCIP_Bool	resprop
	)

static

Parameters

vars	variable matrix
lexminfixes	fixings characterzing lex-min face
minfixedrowlexmin	index of minimum fixed row for each column or NULL (if in prop)
infeasible	pointer to store whether infeasibility has been detected or NULL (if in resprop)
m	number of rows in vars
n	number of columns in vars
nrowsused	number of rows considered in propagation
resprop	whether we are in resprop (TRUE) or prop (FALSE)

Definition at line 1397 of file cons_orbitope.c.

References FALSE, NULL, SCIP_OKAY, and TRUE.

Referenced by propagateFullOrbitopeCons(), and resolvePropagationFullOrbitope().

◆ findLexMaxFace()

static SCIP_RETCODE findLexMaxFace	(	SCIP_VAR ***	vars,
		int **	lexmaxfixes,
		int *	minfixedrowlexmax,
		SCIP_Bool *	infeasible,
		int	m,
		int	n,
		int	nrowsused,
		SCIP_Bool	resprop
	)

static

Parameters

vars	variable matrix
lexmaxfixes	fixings characterzing lex-max face
minfixedrowlexmax	index of minimum fixed row for each column or NULL (if in prop)
infeasible	pointer to store whether infeasibility has been detected or NULL (if in resprop)
m	number of rows in vars
n	number of columns in vars
nrowsused	number of rows considered in propagation
resprop	whether we are in resprop (TRUE) or prop (FALSE)

Definition at line 1496 of file cons_orbitope.c.

References FALSE, NULL, SCIP_OKAY, and TRUE.

Referenced by propagateFullOrbitopeCons(), and resolvePropagationFullOrbitope().

◆ propagateFullOrbitopeCons()

static SCIP_RETCODE propagateFullOrbitopeCons	(	SCIP *	scip,
		SCIP_CONS *	cons,
		SCIP_Bool *	infeasible,
		int *	nfixedvars,
		SCIP_Bool	dynamic
	)

static

propagation method for a single packing or partitioning orbitope constraint

Parameters

scip	SCIP data structure
cons	constraint to be processed
infeasible	pointer to store TRUE, if the node can be cut off
nfixedvars	pointer to add up the number of found domain reductions
dynamic	whether we use a dynamic propagation routine

Definition at line 1592 of file cons_orbitope.c.

References computeDynamicRowOrder(), FALSE, findLexMaxFace(), findLexMinFace(), NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_ORBITOPETYPE_FULL, SCIPallocBufferArray, SCIPallowStrongDualReds(), SCIPconsGetData(), SCIPfreeBufferArray, SCIPinferBinvarCons(), SCIPinProbing(), SCIPvarGetLbLocal(), SCIPvarGetUbLocal(), and TRUE.

Referenced by propagateCons().

◆ propagateCons()

static SCIP_RETCODE propagateCons	(	SCIP *	scip,
		SCIP_CONS *	cons,
		SCIP_Bool *	infeasible,
		int *	nfixedvars
	)

static

propagation method for a single orbitope constraint

Parameters

scip	SCIP data structure
cons	constraint to be processed
infeasible	pointer to store TRUE, if the node can be cut off
nfixedvars	pointer to add up the number of found domain reductions

Definition at line 1761 of file cons_orbitope.c.

References NULL, propagateFullOrbitopeCons(), propagatePackingPartitioningCons(), SCIP_CALL, SCIP_OKAY, SCIP_ORBITOPETYPE_FULL, SCIP_ORBITOPETYPE_PACKING, SCIP_ORBITOPETYPE_PARTITIONING, and SCIPconsGetData().

Referenced by SCIP_DECL_CONSPRESOL(), and SCIP_DECL_CONSPROP().

◆ resolvePropagationFullOrbitope()

static SCIP_RETCODE resolvePropagationFullOrbitope	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS *	cons,
		int	inferinfo,
		SCIP_BDCHGIDX *	bdchgidx,
		SCIP_RESULT *	result
	)

static

Propagation conflict resolving method of propagator

In this function we use that all variable reductions that can be found by the propagation algorithm are only due to the fixed variables that are in or above the minimum fixed row of each pair of adjacent columns of the lexmin and lexmax matrices.

Since the storage of an integer is not enough to store the complete information about the fixing, we have to use the linear time algorithm for finding the lexmin and lexmax matrices and determine from this the minimum fixed rows.

Parameters

scip	SCIP data structure
conshdlr	constraint handler of the corresponding constraint
cons	constraint that inferred the bound change
inferinfo	inference information
bdchgidx	bound change index (time stamp of bound change), or NULL for current time
result	pointer to store the result of the propagation conflict resolving call

Definition at line 1807 of file cons_orbitope.c.

References FALSE, findLexMaxFace(), findLexMinFace(), MAX, NULL, SCIP_Bool, SCIP_CALL, SCIP_DIDNOTFIND, SCIP_OKAY, SCIP_ORBITOPETYPE_FULL, SCIP_SUCCESS, SCIPaddConflictBinvar(), SCIPallocBufferArray, SCIPconsGetData(), SCIPfreeBufferArray, SCIPvarGetLbAtIndex(), SCIPvarGetUbAtIndex(), and TRUE.

Referenced by SCIP_DECL_CONSRESPROP().

◆ resolvePropagation()

static SCIP_RETCODE resolvePropagation	(	SCIP *	scip,
		SCIP_CONS *	cons,
		int	inferinfo,
		SCIP_BDCHGIDX *	bdchgidx,
		SCIP_RESULT *	result
	)

static

Propagation conflict resolving method of propagator

In this function we use that the propagation method above implicitly propagates SCIs, i.e., every fixing can also be gotten via an SCI-fixing.

Since the storage of an integer is not enough to store the complete information about the fixing nor a complete shifted column, we have to use the linear time algorithm for SCIs.

The inferinfo integer is set as follows:

If a shifted column is fixed to 0 and the corresponding bar does not necessarily has value 1 then we fix these entries to 0 and inferinfo is i * nblocks + j, where (i,j) is the leader of the bar. The SCI depends on whether i is in Gamma or not (see Lemma 1 in the paper and the comments above).
If a bar has value 1 and the shifted column has one entry that is not fixed, it can be fixed to 1 and inferinfo is (nspcons*nblocks) + i * nblocks + j, where (i,j) is the leader of the bar; see Proposition 1 (2c).

Parameters

scip	SCIP data structure
cons	constraint that inferred the bound change
inferinfo	inference information
bdchgidx	bound change index (time stamp of bound change), or NULL for current time
result	pointer to store the result of the propagation conflict resolving call

Definition at line 1993 of file cons_orbitope.c.

References computeSCTable(), FALSE, MIN, NULL, SCIP_CALL, SCIP_DIDNOTFIND, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_ORBITOPETYPE_PARTITIONING, SCIP_Real, SCIP_SUCCESS, SCIPaddConflictLb(), SCIPaddConflictUb(), SCIPconsGetData(), SCIPdebugMsg, SCIPgetVarLbAtIndex(), SCIPgetVarUbAtIndex(), and SCIPsnprintf().

Referenced by SCIP_DECL_CONSRESPROP().

◆ enfopsPackingPartitioningOrbitopeSolution()

static SCIP_RETCODE enfopsPackingPartitioningOrbitopeSolution	(	SCIP *	scip,
		SCIP_CONS *	cons,
		SCIP_RESULT *	result
	)

static

check packing/partitioning orbitope solution for feasibility

Parameters

scip	SCIP data structure
cons	pointer to orbitope constraint
result	pointer to store the result of the enforcing call

Definition at line 2268 of file cons_orbitope.c.

References computeSCTable(), copyValues(), FALSE, fixTriangle(), NULL, SCIP_Bool, SCIP_CALL, SCIP_CUTOFF, SCIP_INFEASIBLE, SCIP_OKAY, SCIP_Real, SCIP_REDUCEDDOM, SCIPconsGetData(), SCIPconsGetName(), SCIPdebugMsg, SCIPisGT(), and SCIPisIntegral().

Referenced by SCIP_DECL_CONSENFOPS().

◆ checkPackingPartitioningOrbitopeSolution()

static SCIP_RETCODE checkPackingPartitioningOrbitopeSolution	(	SCIP *	scip,
		SCIP_CONS *	cons,
		SCIP_SOL *	sol,
		SCIP_RESULT *	result,
		SCIP_Bool	printreason
	)

static

check packing/partitioning orbitope solution for feasibility

Parameters

scip	SCIP data structure
cons	pointer to orbitope constraint
sol	solution to be checked
result	pointer to store the result of the enforcing call
printreason	whether reason for infeasibility should be printed

Definition at line 2362 of file cons_orbitope.c.

References computeSCTable(), copyValues(), NULL, SCIP_INFEASIBLE, SCIP_OKAY, SCIP_Real, SCIPconsGetData(), SCIPconsGetName(), SCIPdebugMsg, SCIPinfoMessage(), SCIPisFeasIntegral(), SCIPisFeasZero(), SCIPisGT(), and SCIPvarGetName().

Referenced by SCIP_DECL_CONSCHECK().

◆ checkFullOrbitopeSolution()

static SCIP_RETCODE checkFullOrbitopeSolution	(	SCIP *	scip,
		SCIP_CONS *	cons,
		SCIP_SOL *	sol,
		SCIP_Bool	printreason,
		SCIP_Bool *	feasible
	)

static

check full orbitope solution for feasibility

Parameters

scip	SCIP data structure
cons	constraint to process
sol	solution to be checked
printreason	whether reason for infeasibility should be printed
feasible	memory address to store whether solution is feasible

Definition at line 2508 of file cons_orbitope.c.

References NULL, SCIP_CALL, SCIP_OKAY, SCIPallocBufferArray, SCIPcheckSolutionOrbisack(), SCIPconsGetData(), SCIPfreeBufferArray, and TRUE.

Referenced by SCIP_DECL_CONSCHECK(), and SCIP_DECL_CONSENFOPS().

◆ separateCoversOrbisack()

static SCIP_RETCODE separateCoversOrbisack	(	SCIP *	scip,
		SCIP_CONS *	cons,
		SCIP_SOL *	sol,
		SCIP_Bool	dynamic,
		int *	ngen,
		SCIP_Bool *	infeasible
	)

static

separate orbisack cover inequalities

Parameters

scip	SCIP data structure
cons	constraint to process
sol	solution to separate (NULL for the LP solution)
dynamic	whether we use a dynamic row order
ngen	pointer to store number of generated cuts
infeasible	pointer to store whether infeasibility has been detected

Definition at line 2567 of file cons_orbitope.c.

References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPaddRow(), SCIPaddVarToRow(), SCIPallocBufferArray, SCIPcacheRowExtensions(), SCIPconsGetData(), SCIPcreateEmptyRowCons(), SCIPflushRowExtensions(), SCIPfreeBufferArray, SCIPgetSolVal(), SCIPinfinity(), SCIPisEfficacious(), SCIPprintRow(), SCIPreleaseRow(), and TRUE.

Referenced by separateConstraints().

◆ separateConstraints()

static SCIP_RETCODE separateConstraints	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS **	conss,
		int	nconss,
		int	nusefulconss,
		SCIP_SOL *	sol,
		SCIP_RESULT *	result,
		SCIP_Bool	enforce
	)

static

separate or enforce constraints

Parameters

scip	SCIP data structure
conshdlr	constraint handler
conss	constraints to process
nconss	number of constraints
nusefulconss	number of useful (non-obsolete) constraints to process
sol	solution to separate (NULL for the LP solution)
result	pointer to store the result (should be initialized)
enforce	whether we enforce orbitope constraints

Definition at line 2712 of file cons_orbitope.c.

References CONSHDLR_NAME, copyValues(), FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_CUTOFF, SCIP_OKAY, SCIP_ORBITOPETYPE_PACKING, SCIP_ORBITOPETYPE_PARTITIONING, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIPconsGetData(), SCIPconshdlrGetData(), SCIPconshdlrGetName(), SCIPdebugMsg, separateCoversOrbisack(), and separateSCIs().

Referenced by SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSSEPALP(), and SCIP_DECL_CONSSEPASOL().

◆ checkRedundantCons()

static SCIP_RETCODE checkRedundantCons	(	SCIP *	scip,
		SCIP_CONS *	cons,
		SCIP_Bool *	redundant
	)

static

check whether all variables in an orbitope constraint are fixed

Parameters

scip	SCIP data structure
cons	constraint to be processed
redundant	pointer to store whether constraint is redundant (contains no active vars)

Definition at line 2801 of file cons_orbitope.c.

References FALSE, NULL, SCIP_OKAY, SCIPconsGetData(), SCIPvarIsActive(), and TRUE.

Referenced by SCIP_DECL_CONSPRESOL().

◆ SCIP_DECL_CONSHDLRCOPY()

static SCIP_DECL_CONSHDLRCOPY ( conshdlrCopyOrbitope )

static

copy method for constraint handler plugins (called when SCIP copies plugins)

Definition at line 2852 of file cons_orbitope.c.

References CONSHDLR_NAME, NULL, SCIP_CALL, SCIP_OKAY, SCIPconshdlrGetName(), SCIPincludeConshdlrOrbitope(), and TRUE.

◆ SCIP_DECL_CONSFREE()

static SCIP_DECL_CONSFREE ( consFreeOrbitope )

static

frees constraint handler

Definition at line 2868 of file cons_orbitope.c.

References CONSHDLR_NAME, NULL, SCIP_OKAY, SCIPconshdlrGetData(), SCIPconshdlrGetName(), and SCIPfreeBlockMemory.

◆ SCIP_DECL_CONSDELETE()

static SCIP_DECL_CONSDELETE ( consDeleteOrbitope )

static

frees specific constraint data

Definition at line 2886 of file cons_orbitope.c.

References consdataFree(), CONSHDLR_NAME, NULL, SCIP_CALL, SCIP_OKAY, and SCIPconshdlrGetName().

◆ SCIP_DECL_CONSTRANS()

static SCIP_DECL_CONSTRANS ( consTransOrbitope )

static

transforms constraint data into data belonging to the transformed problem

Definition at line 2898 of file cons_orbitope.c.

References consdataCreate(), CONSHDLR_NAME, NULL, SCIP_CALL, SCIP_OKAY, SCIP_STAGE_TRANSFORMING, SCIPconsGetData(), SCIPconsGetName(), SCIPconshdlrGetName(), SCIPconsIsChecked(), SCIPconsIsDynamic(), SCIPconsIsEnforced(), SCIPconsIsInitial(), SCIPconsIsLocal(), SCIPconsIsModifiable(), SCIPconsIsPropagated(), SCIPconsIsRemovable(), SCIPconsIsSeparated(), SCIPconsIsStickingAtNode(), SCIPcreateCons(), and SCIPgetStage().

◆ SCIP_DECL_CONSSEPALP()

static SCIP_DECL_CONSSEPALP ( consSepalpOrbitope )

static

separation method of constraint handler for LP solutions

Definition at line 2929 of file cons_orbitope.c.

References FALSE, NULL, SCIP_CALL, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_OKAY, SCIPconshdlrGetName(), SCIPdebugMsg, SCIPgetNLPBranchCands(), and separateConstraints().

◆ SCIP_DECL_CONSSEPASOL()

static SCIP_DECL_CONSSEPASOL ( consSepasolOrbitope )

static

separation method of constraint handler for arbitrary primal solutions

Definition at line 2952 of file cons_orbitope.c.

References FALSE, NULL, SCIP_CALL, SCIP_DIDNOTFIND, SCIP_OKAY, SCIPconshdlrGetName(), SCIPdebugMsg, and separateConstraints().

◆ SCIP_DECL_CONSENFOLP()

static SCIP_DECL_CONSENFOLP ( consEnfolpOrbitope )

static

constraint enforcing method of constraint handler for LP solutions

Definition at line 2970 of file cons_orbitope.c.

References NULL, SCIP_CALL, SCIP_FEASIBLE, SCIP_OKAY, SCIPconshdlrGetName(), SCIPdebugMsg, SCIPgetNLPBranchCands(), separateConstraints(), and TRUE.

◆ SCIP_DECL_CONSENFORELAX()

static SCIP_DECL_CONSENFORELAX ( consEnforelaxOrbitope )

static

constraint enforcing method of constraint handler for relaxation solutions

Definition at line 2991 of file cons_orbitope.c.

References NULL, SCIP_CALL, SCIP_FEASIBLE, SCIP_OKAY, SCIPconshdlrGetName(), SCIPdebugMsg, separateConstraints(), and TRUE.

◆ SCIP_DECL_CONSENFOPS()

static SCIP_DECL_CONSENFOPS ( consEnfopsOrbitope )

static

constraint enforcing method of constraint handler for pseudo solutions

Definition at line 3009 of file cons_orbitope.c.

References checkFullOrbitopeSolution(), CONSHDLR_NAME, enfopsPackingPartitioningOrbitopeSolution(), FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_OKAY, SCIP_ORBITOPETYPE_PACKING, SCIP_ORBITOPETYPE_PARTITIONING, SCIPconsGetData(), and SCIPconshdlrGetName().

◆ SCIP_DECL_CONSCHECK()

static SCIP_DECL_CONSCHECK ( consCheckOrbitope )

static

feasibility check method of constraint handler for integral solutions

Definition at line 3065 of file cons_orbitope.c.

References checkFullOrbitopeSolution(), checkPackingPartitioningOrbitopeSolution(), CONSHDLR_NAME, NULL, SCIP_Bool, SCIP_CALL, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_OKAY, SCIP_ORBITOPETYPE_PACKING, SCIP_ORBITOPETYPE_PARTITIONING, SCIPconsGetData(), SCIPconshdlrGetName(), and SCIPdebugMsg.

◆ SCIP_DECL_CONSPROP()

static SCIP_DECL_CONSPROP ( consPropOrbitope )

static

domain propagation method of constraint handler

Definition at line 3113 of file cons_orbitope.c.

References CONSHDLR_NAME, FALSE, NULL, propagateCons(), SCIP_Bool, SCIP_CALL, SCIP_CUTOFF, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_OKAY, SCIP_REDUCEDDOM, SCIPconsGetName(), SCIPconshdlrGetName(), and SCIPdebugMsg.

◆ SCIP_DECL_CONSPRESOL()

static SCIP_DECL_CONSPRESOL ( consPresolOrbitope )

static

presolving method of constraint handler

Definition at line 3159 of file cons_orbitope.c.

References checkRedundantCons(), CONSHDLR_NAME, FALSE, NULL, propagateCons(), SCIP_Bool, SCIP_CALL, SCIP_CUTOFF, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_OKAY, SCIP_SUCCESS, SCIPconsGetName(), SCIPconshdlrGetName(), SCIPconsIsActive(), SCIPdebugMsg, and SCIPdelCons().

◆ SCIP_DECL_CONSRESPROP()

static SCIP_DECL_CONSRESPROP ( consRespropOrbitope )

static

propagation conflict resolving method of constraint handler

Definition at line 3227 of file cons_orbitope.c.

References NULL, resolvePropagation(), resolvePropagationFullOrbitope(), SCIP_CALL, SCIP_OKAY, SCIP_ORBITOPETYPE_PACKING, SCIP_ORBITOPETYPE_PARTITIONING, and SCIPconsGetData().

◆ SCIP_DECL_CONSLOCK()

static SCIP_DECL_CONSLOCK ( consLockOrbitope )

static

variable rounding lock method of constraint handler

Definition at line 3259 of file cons_orbitope.c.

References CONSHDLR_NAME, NULL, SCIP_CALL, SCIP_LOCKTYPE_MODEL, SCIP_OKAY, SCIPaddVarLocksType(), SCIPconsGetData(), SCIPconshdlrGetName(), and SCIPdebugMsg.

◆ SCIP_DECL_CONSPRINT()

static SCIP_DECL_CONSPRINT ( consPrintOrbitope )

static

constraint display method of constraint handler

Definition at line 3299 of file cons_orbitope.c.

References CONSHDLR_NAME, NULL, SCIP_CALL, SCIP_OKAY, SCIP_ORBITOPETYPE_FULL, SCIP_ORBITOPETYPE_PACKING, SCIP_ORBITOPETYPE_PARTITIONING, SCIPABORT, SCIPconsGetData(), SCIPconshdlrGetName(), SCIPdebugMsg, SCIPinfoMessage(), SCIPwriteVarName(), and TRUE.

◆ SCIP_DECL_CONSCOPY()

static SCIP_DECL_CONSCOPY ( consCopyOrbitope )

static

constraint copying method of constraint handler

Definition at line 3361 of file cons_orbitope.c.

References CONSHDLR_NAME, FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPallocBufferArray, SCIPconsGetData(), SCIPconsGetName(), SCIPconshdlrGetData(), SCIPconshdlrGetName(), SCIPcreateConsOrbitope(), SCIPdebugMsg, SCIPfreeBufferArray, SCIPgetVarCopy(), and TRUE.

◆ SCIP_DECL_CONSPARSE()

static SCIP_DECL_CONSPARSE ( consParseOrbitope )

static

constraint parsing method of constraint handler

Definition at line 3445 of file cons_orbitope.c.

References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIP_ORBITOPETYPE_FULL, SCIP_ORBITOPETYPE_PACKING, SCIP_ORBITOPETYPE_PARTITIONING, SCIPallocBufferArray, SCIPcalcMemGrowSize(), SCIPcreateConsOrbitope(), SCIPerrorMessage, SCIPfreeBufferArray, SCIPparseVarName(), SCIPreallocBufferArray, SCIPskipSpace(), and TRUE.

◆ SCIP_DECL_CONSGETVARS()

static SCIP_DECL_CONSGETVARS ( consGetVarsOrbitope )

static

constraint method of constraint handler which returns the variables (if possible)

Definition at line 3582 of file cons_orbitope.c.

References FALSE, NULL, SCIP_OKAY, SCIPconsGetData(), and TRUE.

◆ SCIP_DECL_CONSGETNVARS()

static SCIP_DECL_CONSGETNVARS ( consGetNVarsOrbitope )

static

constraint method of constraint handler which returns the number of variables (if possible)

Definition at line 3615 of file cons_orbitope.c.

References NULL, SCIP_OKAY, SCIPconsGetData(), and TRUE.

SCIP

Detailed Description

Macros

Functions

Macro Definition Documentation

◆ CONSHDLR_NAME

◆ CONSHDLR_DESC

◆ CONSHDLR_SEPAPRIORITY

◆ CONSHDLR_ENFOPRIORITY

◆ CONSHDLR_CHECKPRIORITY

◆ CONSHDLR_SEPAFREQ

◆ CONSHDLR_PROPFREQ

◆ CONSHDLR_EAGERFREQ

◆ CONSHDLR_MAXPREROUNDS

◆ CONSHDLR_DELAYSEPA

◆ CONSHDLR_DELAYPROP

◆ CONSHDLR_NEEDSCONS

◆ CONSHDLR_PROP_TIMING

◆ CONSHDLR_PRESOLTIMING

◆ DEFAULT_PPORBITOPE

◆ DEFAULT_SEPAFULLORBITOPE

◆ DEFAULT_FORCECONSCOPY

Function Documentation

◆ consdataFree()

◆ consdataCreate()

◆ strengthenOrbitopeConstraint()

◆ copyValues()

◆ computeSCTable()

◆ fixTriangle()

◆ separateSCIs()

◆ propagatePackingPartitioningCons()

◆ computeDynamicRowOrder()

◆ findLexMinFace()

◆ findLexMaxFace()

◆ propagateFullOrbitopeCons()

◆ propagateCons()

◆ resolvePropagationFullOrbitope()

◆ resolvePropagation()

◆ enfopsPackingPartitioningOrbitopeSolution()

◆ checkPackingPartitioningOrbitopeSolution()

◆ checkFullOrbitopeSolution()

◆ separateCoversOrbisack()

◆ separateConstraints()

◆ checkRedundantCons()

◆ SCIP_DECL_CONSHDLRCOPY()

◆ SCIP_DECL_CONSFREE()

◆ SCIP_DECL_CONSDELETE()

◆ SCIP_DECL_CONSTRANS()

◆ SCIP_DECL_CONSSEPALP()

◆ SCIP_DECL_CONSSEPASOL()

◆ SCIP_DECL_CONSENFOLP()

◆ SCIP_DECL_CONSENFORELAX()

◆ SCIP_DECL_CONSENFOPS()

◆ SCIP_DECL_CONSCHECK()

◆ SCIP_DECL_CONSPROP()

◆ SCIP_DECL_CONSPRESOL()

◆ SCIP_DECL_CONSRESPROP()

◆ SCIP_DECL_CONSLOCK()

◆ SCIP_DECL_CONSPRINT()

◆ SCIP_DECL_CONSCOPY()

◆ SCIP_DECL_CONSPARSE()

◆ SCIP_DECL_CONSGETVARS()

◆ SCIP_DECL_CONSGETNVARS()