Scippy

SCIP

Solving Constraint Integer Programs

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_EXPORT SCIP_RETCODE SCIPincludePropSymmetry (SCIP *scip)
 
SCIP_EXPORT 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)
 
SCIP_EXPORT SCIP_Bool SCIPisOrbitalfixingEnabled (SCIP *scip)
 
SCIP_EXPORT int SCIPgetSymmetryNGenerators (SCIP *scip)
 

Function Documentation

◆ SCIPincludePropSymmetry()

◆ SCIPgetSymmetry()

SCIP_EXPORT 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
scipSCIP data structure
npermvarspointer to store number of variables for permutations
permvarspointer to store variables on which permutations act
permvarmappointer to store hash map of permvars (or NULL)
npermspointer to store number of permutations
permspointer to store permutation generators as (nperms x npermvars) matrix (or NULL)
permstranspointer to store permutation generators as (npermvars x nperms) matrix (or NULL)
log10groupsizepointer to store log10 of group size (or NULL)
binvaraffectedpointer to store whether binary variables are affected
componentspointer to store components of symmetry group (or NULL)
componentbeginspointer to store begin positions of components in components array (or NULL)
vartocomponentpointer to store assignment from variable to its component (or NULL)
ncomponentspointer to store number of components (or NULL)

Definition at line 3979 of file prop_symmetry.c.

References NULL, PROP_NAME, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPerrorMessage, SCIPfindProp(), SCIPpropGetData(), and SCIPpropGetName().

Referenced by initOrbits().

◆ SCIPisOrbitalfixingEnabled()

SCIP_EXPORT SCIP_Bool SCIPisOrbitalfixingEnabled ( SCIP scip)

return whether orbital fixing is enabled

Parameters
scipSCIP data structure

Definition at line 4059 of file prop_symmetry.c.

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

Referenced by isRestartApplicable().

◆ SCIPgetSymmetryNGenerators()

SCIP_EXPORT int SCIPgetSymmetryNGenerators ( SCIP scip)

return number of the symmetry group's generators

Parameters
scipSCIP data structure

Definition at line 4079 of file prop_symmetry.c.

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

Referenced by isRestartApplicable().