Detailed Description

interface for symmetry computations

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

Functions
SCIP_Bool	SYMcanComputeSymmetry (void)

const char *	SYMsymmetryGetName (void)

const char *	SYMsymmetryGetDesc (void)

SCIP_RETCODE	SYMcomputeSymmetryGenerators (SCIP scip, int maxgenerators, SYM_MATRIXDATA matrixdata, SYM_EXPRDATA exprdata, int nperms, int nmaxperms, int *perms, SCIP_Real log10groupsize)

Function Documentation

SCIP_Bool SYMcanComputeSymmetry ( void )

return whether symmetry can be computed

References FALSE, and TRUE.

const char* SYMsymmetryGetName ( void )

return name of external program used to compute generators

References blissname.

const char* SYMsymmetryGetDesc ( void )

return description of external program used to compute generators

SCIP_RETCODE SYMcomputeSymmetryGenerators	(	SCIP *	scip,
		int	maxgenerators,
		SYM_MATRIXDATA *	matrixdata,
		SYM_EXPRDATA *	exprdata,
		int *	nperms,
		int *	nmaxperms,
		int ***	perms,
		SCIP_Real *	log10groupsize
	)

compute generators of symmetry group

Parameters

scip	SCIP pointer
maxgenerators	maximal number of generators constructed (= 0 if unlimited)
matrixdata	data for MIP matrix
exprdata	data for nonlinear constraints
nperms	pointer to store number of permutations
nmaxperms	pointer to store maximal number of permutations (needed for freeing storage)
perms	pointer to store permutation generators as (nperms x npermvars) matrix
log10groupsize	pointer to store size of group