Scippy

SCIP

Solving Constraint Integer Programs

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_HASHMAPvarmap
 
SYM_SYMTYPE symtype
 
SCIP_Realvardomaincenter
 

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(), and propagateStaticLexred().

◆ nvars

int LexRedPermData::nvars

◆ 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 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().