Scippy

    SCIP

    Solving Constraint Integer Programs

    compute_symmetry_none.cpp File Reference

    Detailed Description

    interface for no symmetry computations

    Author
    Marc Pfetsch

    Definition in file compute_symmetry_none.cpp.

    #include "compute_symmetry.h"

    Go to the source code of this file.

    Functions

    SCIP_Bool SYMcanComputeSymmetry (void)
     
    const char * SYMsymmetryGetName (void)
     
    const char * SYMsymmetryGetDesc (void)
     
    const char * SYMsymmetryGetAddName (void)
     
    const char * SYMsymmetryGetAddDesc (void)
     
    SCIP_RETCODE SYMcomputeSymmetryGenerators (SCIP *scip, int maxgenerators, SYM_GRAPH *graph, int *nperms, int *nmaxperms, int ***perms, SCIP_Real *log10groupsize, SCIP_Real *symcodetime)
     
    SCIP_Bool SYMcheckGraphsAreIdentical (SCIP *scip, SYM_SYMTYPE symtype, SYM_GRAPH *G1, SYM_GRAPH *G2)
     

    Function Documentation

    ◆ SYMcanComputeSymmetry()

    SCIP_Bool SYMcanComputeSymmetry ( void  )

    return whether symmetry can be computed

    Definition at line 35 of file compute_symmetry_none.cpp.

    References FALSE.

    ◆ SYMsymmetryGetName()

    const char * SYMsymmetryGetName ( void  )

    return name of external program used to compute generators

    Definition at line 41 of file compute_symmetry_none.cpp.

    ◆ SYMsymmetryGetDesc()

    const char * SYMsymmetryGetDesc ( void  )

    return description of external program used to compute generators

    Definition at line 47 of file compute_symmetry_none.cpp.

    ◆ SYMsymmetryGetAddName()

    const char * SYMsymmetryGetAddName ( void  )

    return name of additional external program used for computing symmetries

    Definition at line 53 of file compute_symmetry_none.cpp.

    ◆ SYMsymmetryGetAddDesc()

    const char * SYMsymmetryGetAddDesc ( void  )

    return description of additional external program used to compute symmetries

    Definition at line 59 of file compute_symmetry_none.cpp.

    ◆ SYMcomputeSymmetryGenerators()

    SCIP_RETCODE SYMcomputeSymmetryGenerators ( SCIP scip,
    int  maxgenerators,
    SYM_GRAPH graph,
    int *  nperms,
    int *  nmaxperms,
    int ***  perms,
    SCIP_Real log10groupsize,
    SCIP_Real symcodetime 
    )

    compute generators of symmetry group

    Parameters
    scipSCIP pointer
    maxgeneratorsmaximal number of generators constructed (= 0 if unlimited)
    graphsymmetry detection graph
    npermspointer to store number of permutations
    nmaxpermspointer to store maximal number of permutations (needed for freeing storage)
    permspointer to store permutation generators as (nperms x npermvars) matrix
    log10groupsizepointer to store size of group
    symcodetimepointer to store the time for symmetry code

    Definition at line 65 of file compute_symmetry_none.cpp.

    References NULL, and SCIP_OKAY.

    ◆ SYMcheckGraphsAreIdentical()

    SCIP_Bool SYMcheckGraphsAreIdentical ( SCIP scip,
    SYM_SYMTYPE  symtype,
    SYM_GRAPH G1,
    SYM_GRAPH G2 
    )

    returns whether two given graphs are identical

    Parameters
    scipSCIP pointer
    symtypetype of symmetries to be checked
    G1first graph
    G2second graph

    Definition at line 95 of file compute_symmetry_none.cpp.

    References FALSE.