build_dejavu_graph.h File Reference

Detailed Description

methods to build dejavu graph for symmetry detection

Author

Christopher Hojny

Marc Pfetsch

Definition in file build_dejavu_graph.h.

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

Go to the source code of this file.

Functions
SCIP_RETCODE	SYMbuildDejavuGraph (SCIP *scip, dejavu::static_graph *dejavugraph, SYM_GRAPH *graph, SCIP_Bool *success)
SCIP_RETCODE	SYMbuildDejavuGraphCheck (SCIP *scip, dejavu::static_graph *dejavugraph, SYM_GRAPH *G1, SYM_GRAPH *G2, int *nnodes, int *nnodesfromG1, SCIP_Bool *success)

Function Documentation

SYMbuildDejavuGraph()

SCIP_RETCODE SYMbuildDejavuGraph	(	SCIP *	scip,
		dejavu::static_graph *	dejavugraph,
		SYM_GRAPH *	graph,
		SCIP_Bool *	success )

compute generators of symmetry group

Parameters

scip	SCIP pointer
dejavugraph	pointer to hold dejavu graph being created
graph	symmetry detection graph
success	pointer to store whether dejavugraph could be built

Definition at line 851 of file build_dejavu_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().

SYMbuildDejavuGraphCheck()

SCIP_RETCODE SYMbuildDejavuGraphCheck	(	SCIP *	scip,
		dejavu::static_graph *	dejavugraph,
		SYM_GRAPH *	G1,
		SYM_GRAPH *	G2,
		int *	nnodes,
		int *	nnodesfromG1,
		SCIP_Bool *	success )

returns whether two given graphs are identical

Parameters

scip	SCIP pointer
dejavugraph	pointer to hold dejavu graph being created
G1	first graph
G2	second graph
nnodes	pointer to store number of nodes in dejavu graph
nnodesfromG1	pointer to store number of nodes in dejavu graph arising from G1
success	pointer to store whether dejavugraph could be built

Definition at line 894 of file build_dejavu_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().