LexRedPermData Struct Reference

Detailed Description

data per permutation for lexicographic reduction propagator

Definition at line 89 of file symmetry_lexred.c.

Data Fields
SCIP_Bool	isdynamic
SCIP_VAR **	vars
int	nvars
int *	perm
int *	invperm
SCIP_HASHMAP *	varmap
SYM_SYMTYPE	symtype
SCIP_Real *	vardomaincenter

Field Documentation

isdynamic

SCIP_Bool LexRedPermData::isdynamic

whether permutation shall be propagated with dynamic variable order

Definition at line 91 of file symmetry_lexred.c.

Referenced by propagateLexicographicReductionPerm(), propagateLexredDynamic(), and propagateLexredStatic().

vars

SCIP_VAR** LexRedPermData::vars

variables affected by permutation

Definition at line 92 of file symmetry_lexred.c.

Referenced by getVarOrder(), peekStaticLexredIsFeasible(), propagateStaticLexred(), and SCIP_DECL_SORTINDCOMP().

nvars

int LexRedPermData::nvars

number of variables

Definition at line 93 of file symmetry_lexred.c.

Referenced by getVarOrder(), lexdataCreate(), peekStaticLexredIsFeasible(), propagateLexredDynamic(), propagateLexredStatic(), and propagateStaticLexred().

perm

int* LexRedPermData::perm

permutation for lexicographic reduction

Definition at line 94 of file symmetry_lexred.c.

Referenced by peekStaticLexredIsFeasible(), and propagateStaticLexred().

invperm

int* LexRedPermData::invperm

inverse permutation

Definition at line 95 of file symmetry_lexred.c.

Referenced by peekStaticLexredIsFeasible(), and propagateStaticLexred().

varmap

SCIP_HASHMAP* LexRedPermData::varmap

map of variables to indices in vars array

Definition at line 96 of file symmetry_lexred.c.

Referenced by getVarOrder().

symtype

SYM_SYMTYPE LexRedPermData::symtype

type of symmetries in perm

Definition at line 97 of file symmetry_lexred.c.

Referenced by lexdataCreate(), peekStaticLexredIsFeasible(), and propagateStaticLexred().

vardomaincenter

SCIP_Real* LexRedPermData::vardomaincenter

array of centers of variable domains

Definition at line 98 of file symmetry_lexred.c.

Referenced by peekStaticLexredIsFeasible(), and propagateStaticLexred().