Scippy

    SCIP

    Solving Constraint Integer Programs

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

    ◆ nvars

    int LexRedPermData::nvars

    number of variables

    Definition at line 93 of file symmetry_lexred.c.

    Referenced by getVarOrder(), 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 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().