Scippy

    SCIP

    Solving Constraint Integer Programs

    Data Fields
    SYMMETRY_Data Struct Reference

    Detailed Description

    struct for symmetry callback

    Definition at line 53 of file compute_symmetry_dejavu.cpp.

    Data Fields

    SCIP * scip
     
    SYM_SYMTYPE symtype
     
    int npermvars
     
    int nperms
     
    int ** perms
     
    int nmaxperms
     
    int maxgenerators
     
    SCIP_Bool restricttovars
     

    Field Documentation

    ◆ scip

    SCIP * SYMMETRY_Data::scip

    SCIP pointer

    Definition at line 55 of file compute_symmetry_dejavu.cpp.

    Referenced by computeAutomorphisms(), dejavuhook(), and sassyhook().

    ◆ symtype

    SYM_SYMTYPE SYMMETRY_Data::symtype

    type of symmetries that need to be computed

    Definition at line 56 of file compute_symmetry_dejavu.cpp.

    Referenced by computeAutomorphisms(), dejavuhook(), and sassyhook().

    ◆ npermvars

    int SYMMETRY_Data::npermvars

    number of variables for permutations

    Definition at line 57 of file compute_symmetry_dejavu.cpp.

    Referenced by computeAutomorphisms(), dejavuhook(), and sassyhook().

    ◆ nperms

    int SYMMETRY_Data::nperms

    number of permutations

    Definition at line 58 of file compute_symmetry_dejavu.cpp.

    Referenced by computeAutomorphisms(), dejavuhook(), sassyhook(), SYMcheckGraphsAreIdentical(), and SYMcomputeSymmetryGenerators().

    ◆ perms

    int ** SYMMETRY_Data::perms

    permutation generators as (nperms x npermvars) matrix

    Definition at line 59 of file compute_symmetry_dejavu.cpp.

    Referenced by computeAutomorphisms(), dejavuhook(), sassyhook(), SYMcheckGraphsAreIdentical(), and SYMcomputeSymmetryGenerators().

    ◆ nmaxperms

    int SYMMETRY_Data::nmaxperms

    maximal number of permutations

    Definition at line 60 of file compute_symmetry_dejavu.cpp.

    Referenced by computeAutomorphisms(), dejavuhook(), sassyhook(), SYMcheckGraphsAreIdentical(), and SYMcomputeSymmetryGenerators().

    ◆ maxgenerators

    int SYMMETRY_Data::maxgenerators

    maximal number of generators constructed (= 0 if unlimited)

    Definition at line 61 of file compute_symmetry_dejavu.cpp.

    Referenced by computeAutomorphisms(), dejavuhook(), sassyhook(), and SYMcomputeSymmetryGenerators().

    ◆ restricttovars

    SCIP_Bool SYMMETRY_Data::restricttovars

    whether permutations shall be restricted to variables

    Definition at line 62 of file compute_symmetry_dejavu.cpp.

    Referenced by computeAutomorphisms(), dejavuhook(), and sassyhook().