prop_symmetry.h File Reference

Detailed Description

propagator for symmetry handling

Author

Marc Pfetsch

Thomas Rehn

Christopher Hojny

Definition in file prop_symmetry.h.

#include "scip/scip.h"
#include "symmetry/type_symmetry.h"

Go to the source code of this file.

Functions
SCIP_RETCODE	SCIPincludePropSymmetry (SCIP *scip)
SCIP_RETCODE	SCIPgetSymmetry (SCIP *scip, int *npermvars, SCIP_VAR ***permvars, SCIP_HASHMAP **permvarmap, int *nperms, int ***perms, int ***permstrans, SCIP_Real *log10groupsize, SCIP_Bool *binvaraffected, int **components, int **componentbegins, int **vartocomponent, int *ncomponents)
int	SCIPgetSymmetryNGenerators (SCIP *scip)
SCIP_RETCODE	SCIPcreateSymOpNodeType (SCIP *scip, const char *opnodename, int *nodetype)
SCIP_RETCODE	SCIPgetSymOpNodeType (SCIP *scip, const char *opnodename, int *nodetype)

Function Documentation

SCIPincludePropSymmetry()

SCIP_RETCODE SCIPincludePropSymmetry

(

SCIP *

scip

)

include symmetry propagator

Parameters

scip	SCIP data structure

Definition at line 6708 of file prop_symmetry.c.

References DEFAULT_ADDCONFLICTCUTS, DEFAULT_ADDCONSSTIMING, DEFAULT_ADDSTRONGSBCS, DEFAULT_ADDSYMRESACKS, DEFAULT_ADDWEAKSBCS, DEFAULT_CHECKSYMMETRIES, DEFAULT_COMPRESSSYMMETRIES, DEFAULT_COMPRESSTHRESHOLD, DEFAULT_CONSSADDLP, DEFAULT_DETECTDOUBLELEX, DEFAULT_DETECTORBITOPES, DEFAULT_DETECTSUBGROUPS, DEFAULT_DISPLAYNORBITVARS, DEFAULT_DOUBLEEQUATIONS, DEFAULT_ENFORCECOMPUTESYMMETRY, DEFAULT_MAXGENERATORS, DEFAULT_MAXNCONSSSUBGROUP, DEFAULT_NAUTYMAXNCELLS, DEFAULT_NAUTYMAXNNODES, DEFAULT_PERFORMPRESOLVING, DEFAULT_PREFERLESSROWS, DEFAULT_RECOMPUTERESTART, DEFAULT_SSTADDCUTS, DEFAULT_SSTLEADERRULE, DEFAULT_SSTLEADERVARTYPE, DEFAULT_SSTMIXEDCOMPONENTS, DEFAULT_SSTTIEBREAKRULE, DEFAULT_SYMCOMPTIMING, DEFAULT_SYMFIXNONBINARYVARS, DEFAULT_SYMTYPE, DEFAULT_USECOLUMNSPARSITY, DEFAULT_USEDYNAMICPROP, FALSE, NULL, PROP_DELAY, PROP_DESC, PROP_FREQ, PROP_NAME, PROP_PRESOL_MAXROUNDS, PROP_PRESOL_PRIORITY, PROP_PRESOLTIMING, PROP_PRIORITY, PROP_TIMING, SCIP_CALL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPaddBoolParam(), SCIPaddDialogEntry(), SCIPaddIntParam(), SCIPaddRealParam(), SCIPallocBlockMemory, SCIPblkmem(), SCIPdialogFindEntry(), SCIPdialogHasEntry(), SCIPerrorMessage, SCIPgetRootDialog(), SCIPhashmapCreate(), SCIPincludeDialog(), SCIPincludeEventHdlrShadowTree(), SCIPincludeExternalCodeInformation(), SCIPincludeLexicographicReduction(), SCIPincludeOrbitalReduction(), SCIPincludeOrbitopalReduction(), SCIPincludePropBasic(), SCIPincludeTable(), SCIPreleaseDialog(), SCIPsetPropExit(), SCIPsetPropExitpre(), SCIPsetPropExitsol(), SCIPsetPropFree(), SCIPsetPropInitpre(), SCIPsetPropPresol(), SCIPsetPropResprop(), SYM_CONSOPTYPE_LAST, SYMcanComputeSymmetry(), SYMsymmetryGetAddDesc(), SYMsymmetryGetAddName(), SYMsymmetryGetDesc(), SYMsymmetryGetName(), TABLE_DESC_SYMMETRY, TABLE_EARLIEST_SYMMETRY, TABLE_NAME_SYMMETRY, TABLE_POSITION_SYMMETRY, and TRUE.

Referenced by SCIPincludeDefaultPlugins().

SCIPgetSymmetry()

SCIP_RETCODE SCIPgetSymmetry	(	SCIP *	scip,
		int *	npermvars,
		SCIP_VAR ***	permvars,
		SCIP_HASHMAP **	permvarmap,
		int *	nperms,
		int ***	perms,
		int ***	permstrans,
		SCIP_Real *	log10groupsize,
		SCIP_Bool *	binvaraffected,
		int **	components,
		int **	componentbegins,
		int **	vartocomponent,
		int *	ncomponents
	)

return currently available symmetry group information

Parameters

scip	SCIP data structure
npermvars	pointer to store number of variables for permutations
permvars	pointer to store variables on which permutations act
permvarmap	pointer to store hash map of permvars (or NULL)
nperms	pointer to store number of permutations
perms	pointer to store permutation generators as (nperms x npermvars) matrix (or NULL)
permstrans	pointer to store permutation generators as (npermvars x nperms) matrix (or NULL)
log10groupsize	pointer to store log10 of group size (or NULL)
binvaraffected	pointer to store whether binary variables are affected (or NULL)
components	pointer to store components of symmetry group (or NULL)
componentbegins	pointer to store begin positions of components in components array (or NULL)
vartocomponent	pointer to store assignment from variable to its component (or NULL)
ncomponents	pointer to store number of components (or NULL)

Definition at line 7014 of file prop_symmetry.c.

References SYM_Sortgraphcompvars::components, ensureSymmetryComponentsComputed(), ensureSymmetryPermstransComputed(), ensureSymmetryPermvarmapComputed(), NULL, PROP_NAME, SCIP_CALL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPerrorMessage, SCIPfindProp(), SCIPpropGetData(), and SCIPpropGetName().

Referenced by initOrbits().

SCIPgetSymmetryNGenerators()

int SCIPgetSymmetryNGenerators

(

SCIP *

scip

)

return number of the symmetry group's generators

Parameters

scip	SCIP data structure

Definition at line 7113 of file prop_symmetry.c.

References NULL, PROP_NAME, SCIPfindProp(), and SCIPpropGetData().

SCIPcreateSymOpNodeType()

SCIP_RETCODE SCIPcreateSymOpNodeType	(	SCIP *	scip,
		const char *	opnodename,
		int *	nodetype
	)

creates new operator node type (used for symmetry detection) and returns its representation

If the operator node already exists, the function terminates with SCIP_INVALIDDATA.

Parameters

scip	SCIP pointer
opnodename	name of new operator node type
nodetype	pointer to store the node type

Definition at line 7139 of file prop_symmetry.c.

References NULL, PROP_NAME, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPerrorMessage, SCIPfindProp(), SCIPhashmapExists(), SCIPhashmapInsertInt(), and SCIPpropGetData().

Referenced by SCIPgetSymOpNodeType().

SCIPgetSymOpNodeType()

SCIP_RETCODE SCIPgetSymOpNodeType	(	SCIP *	scip,
		const char *	opnodename,
		int *	nodetype
	)

returns representation of an operator node type.

If the node type does not already exist, a new node type will be created.

Parameters

scip	SCIP pointer
opnodename	name of new operator node type
nodetype	pointer to store the node type

Definition at line 7178 of file prop_symmetry.c.

References NULL, PROP_NAME, SCIP_CALL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPcreateSymOpNodeType(), SCIPerrorMessage, SCIPfindProp(), SCIPhashmapExists(), SCIPhashmapGetImageInt(), and SCIPpropGetData().

Referenced by addSymmetryInformation(), tryAddGadgetBilinearProductSignedPerm(), tryAddGadgetEvenOperatorSum(), and tryAddGadgetEvenOperatorVariable().