presol_symmetry.h File Reference

Detailed Description

presolver for storing symmetry information about current problem

Author

Marc Pfetsch

Thomas Rehn

Definition in file presol_symmetry.h.

#include <scip/scip.h>
#include <symmetry/type_symmetry.h>

Go to the source code of this file.

Functions
SCIP_RETCODE	SCIPincludePresolSymmetry (SCIP *scip)
SCIP_RETCODE	SCIPgetGeneratorsSymmetry (SCIP *scip, int *npermvars, SCIP_VAR ***permvars, int *nperms, int ***perms, SCIP_Real *log10groupsize)
SCIP_RETCODE	SCIPgetPermvarsObjSymmetry (SCIP *scip, SCIP_Real **permvarsobj)
SCIP_RETCODE	SCIPregisterSymmetry (SCIP *scip, SYM_HANDLETYPE symtype, SYM_SPEC type, SYM_SPEC fixedtype)
SCIP_RETCODE	SCIPgetTimingSymmetry (SCIP *scip, SCIP_Bool *afterpresolve)

Function Documentation

SCIPincludePresolSymmetry()

SCIP_RETCODE SCIPincludePresolSymmetry

(

SCIP *

scip

)

include symmetry presolver

include symmetry constraint handler

Parameters

scip	SCIP data structure

Definition at line 1488 of file presol_symmetry.c.

References DEFAULT_CHECKSYMMETRIES, DEFAULT_COMPUTEPRESOLVED, DEFAULT_MAXGENERATORS, FALSE, PRESOL_DESC, PRESOL_MAXROUNDS, PRESOL_NAME, PRESOL_PRIORITY, PRESOL_TIMING, SCIP_CALL, SCIP_OKAY, SCIPaddBoolParam(), SCIPaddIntParam(), SCIPallocBlockMemory, SCIPincludeExternalCodeInformation(), SCIPincludePresolBasic(), SCIPsetPresolExit(), SCIPsetPresolExitpre(), SCIPsetPresolFree(), SCIPsetPresolInit(), SCIPsetPresolInitpre(), SYMcanComputeSymmetry(), SYMsymmetryGetDesc(), SYMsymmetryGetName(), and TRUE.

Referenced by SCIPincludeDefaultPlugins().

SCIPgetGeneratorsSymmetry()

SCIP_RETCODE SCIPgetGeneratorsSymmetry	(	SCIP *	scip,
		int *	npermvars,
		SCIP_VAR ***	permvars,
		int *	nperms,
		int ***	perms,
		SCIP_Real *	log10groupsize
	)

return symmetry group generators

Parameters

scip	SCIP data structure
npermvars	pointer to store number of variables for permutations
permvars	pointer to store variables on which permutations act
nperms	pointer to store number of permutations
perms	pointer to store permutation generators as (nperms x npermvars) matrix
log10groupsize	pointer to store log10 of group size (or NULL)

Definition at line 1549 of file presol_symmetry.c.

References determineSymmetry(), PRESOL_NAME, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIPerrorMessage, SCIPfindPresol(), SCIPgetStage(), SCIPpresolGetData(), and SCIPpresolGetName().

Referenced by SCIP_DECL_PRESOLEXEC(), and SCIP_DECL_PROPINITSOL().

SCIPgetPermvarsObjSymmetry()

SCIP_RETCODE SCIPgetPermvarsObjSymmetry	(	SCIP *	scip,
		SCIP_Real **	permvarsobj
	)

return objective coefficients of permuted variables at time of symmetry computation

Parameters

scip	SCIP data structure
permvarsobj	pointer to store objective coefficients of permuted variables (NULL if not available)

Definition at line 1605 of file presol_symmetry.c.

References PRESOL_NAME, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPerrorMessage, SCIPfindPresol(), SCIPpresolGetData(), and SCIPpresolGetName().

Referenced by propagateOrbitalFixing().

SCIPregisterSymmetry()

SCIP_RETCODE SCIPregisterSymmetry	(	SCIP *	scip,
		SYM_HANDLETYPE	symtype,
		SYM_SPEC	type,
		SYM_SPEC	fixedtype
	)

register that a specific symmetry is needed

Parameters

scip	SCIP data structure
symtype	type of symmetry handling of callee
type	variable types the callee is interested in
fixedtype	variable types that callee wants to have fixed

Definition at line 1636 of file presol_symmetry.c.

References PRESOL_NAME, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPerrorMessage, SCIPfindPresol(), SCIPpresolGetData(), and SCIPpresolGetName().

Referenced by SCIP_DECL_PRESOLINIT(), SCIP_DECL_PRESOLINITPRE(), and SCIP_DECL_PROPINIT().

SCIPgetTimingSymmetry()

SCIP_RETCODE SCIPgetTimingSymmetry	(	SCIP *	scip,
		SCIP_Bool *	afterpresolve
	)

return at what time symmetry is computed (before or after presolving)

Parameters

scip	SCIP data structure
afterpresolve	pointer to store whether symmetry is computed in stage initpre or exitpre

Definition at line 1677 of file presol_symmetry.c.

References PRESOL_NAME, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPerrorMessage, SCIPfindPresol(), SCIPpresolGetData(), and SCIPpresolGetName().

Referenced by SCIP_DECL_PRESOLINITPRE().