methods to build sassy graph for symmetry detection
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) |
SCIP_RETCODE SYMbuildSassyGraph | ( | SCIP * | scip, |
sassy::static_graph * | sassygraph, | ||
SYM_GRAPH * | graph, | ||
SCIP_Bool * | success ) |
compute generators of symmetry group
scip | SCIP pointer |
sassygraph | pointer to hold sassy graph being created |
graph | symmetry detection graph |
success | pointer to store whether sassygraph could be built |
Definition at line 849 of file build_sassy_graph.cpp.
References assert(), createOrDetermineSizeGraph(), FALSE, nnodes, NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_VERBLEVEL_MINIMAL, SCIPdebugMsg, SCIPfreeBlockMemoryArray, SCIPverbMessage(), and TRUE.
Referenced by SYMcomputeSymmetryGenerators(), and SYMcomputeSymmetryGenerators().
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
scip | SCIP pointer |
sassygraph | pointer to hold sassy graph being created |
G1 | first graph |
G2 | second graph |
nnodes | pointer to store number of nodes in sassy graph |
nnodesfromG1 | pointer to store number of nodes in sassy graph arising from G1 |
success | pointer to store whether sassygraph could be built |
Definition at line 892 of file build_sassy_graph.cpp.
References assert(), createOrDetermineSizeGraphCheck(), FALSE, SYM_Graph::nconsnodes, SYM_Graph::nedges, nnodes, SYM_Graph::nnodes, SYM_Graph::nopnodes, NULL, SYM_Graph::nvalnodes, SCIP_Bool, SCIP_CALL_ABORT, SCIP_OKAY, SCIPfreeBlockMemoryArray, and TRUE.
Referenced by SYMcheckGraphsAreIdentical().