Scippy

SCIP

Solving Constraint Integer Programs

build_sassy_graph.h File Reference

Detailed Description

methods to build sassy graph for symmetry detection

Author
Christopher Hojny

Definition in file build_sassy_graph.h.

#include "scip/scip.h"
#include <sassy/graph.h>
#include "symmetry/struct_symmetry.h"
#include "symmetry/type_symmetry.h"

Go to the source code of this file.

Functions

SCIP_RETCODE SYMbuildSassyGraph (SCIP *scip, sassy::static_graph *sassygraph, SYM_GRAPH *graph, SCIP_Bool *success)
 
SCIP_RETCODE SYMbuildSassyGraphCheck (SCIP *scip, sassy::static_graph *sassygraph, SYM_GRAPH *G1, SYM_GRAPH *G2, int *nnodes, int *nnodesfromG1, SCIP_Bool *success)
 

Function Documentation

◆ SYMbuildSassyGraph()

SCIP_RETCODE SYMbuildSassyGraph ( SCIP scip,
sassy::static_graph *  sassygraph,
SYM_GRAPH graph,
SCIP_Bool success 
)

compute generators of symmetry group

Parameters
scipSCIP pointer
sassygraphpointer to hold sassy graph being created
graphsymmetry detection graph
successpointer to store whether sassygraph could be built

Definition at line 849 of file build_sassy_graph.cpp.

References createOrDetermineSizeGraph(), FALSE, nnodes, NULL, SCIP_CALL, SCIP_OKAY, SCIP_VERBLEVEL_MINIMAL, SCIPdebugMsg, SCIPfreeBlockMemoryArray, SCIPverbMessage(), and TRUE.

Referenced by SYMcomputeSymmetryGenerators().

◆ SYMbuildSassyGraphCheck()

SCIP_RETCODE SYMbuildSassyGraphCheck ( SCIP scip,
sassy::static_graph *  sassygraph,
SYM_GRAPH G1,
SYM_GRAPH G2,
int *  nnodes,
int *  nnodesfromG1,
SCIP_Bool success 
)

returns whether two given graphs are identical

Parameters
scipSCIP pointer
sassygraphpointer to hold sassy graph being created
G1first graph
G2second graph
nnodespointer to store number of nodes in sassy graph
nnodesfromG1pointer to store number of nodes in sassy graph arising from G1
successpointer to store whether sassygraph could be built

Definition at line 892 of file build_sassy_graph.cpp.

References createOrDetermineSizeGraphCheck(), FALSE, SYM_Graph::nconsnodes, SYM_Graph::nedges, nnodes, SYM_Graph::nnodes, SYM_Graph::nopnodes, NULL, SYM_Graph::nvalnodes, SCIP_CALL_ABORT, SCIP_OKAY, SCIPfreeBlockMemoryArray, and TRUE.

Referenced by SYMcheckGraphsAreIdentical().