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

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 831 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

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 874 of file build_sassy_graph.cpp.

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

Referenced by SYMcheckGraphsAreIdentical().