@@ -121,6 +121,40 @@ SCIP_RETCODE SYMcomputeSymmetryGeneratorsSDG(
121121 return SCIP_OKAY;
122122}
123123
124+ /* * compute generators of symmetry group of the complete symmetry detection graph
125+ *
126+ * If the symmetry detection graph (SDG) has k nodes, the first k entries of a generator correspond to the nodes
127+ * of the SDG. The remaining entries of the generator correspond to the variables (and possibly their negation).
128+ */
129+ SCIP_RETCODE SYMcomputeSymmetryGeneratorsNode (
130+ SCIP* scip, /* *< SCIP pointer */
131+ int maxgenerators, /* *< maximal number of generators constructed (= 0 if unlimited) */
132+ SYM_GRAPH* graph, /* *< symmetry detection graph */
133+ int * nperms, /* *< pointer to store number of permutations */
134+ int * nmaxperms, /* *< pointer to store maximal number of permutations (needed for freeing storage) */
135+ int *** perms, /* *< pointer to store permutation generators as (nperms x npermvars) matrix */
136+ SCIP_Real* log10groupsize, /* *< pointer to store log10 of size of group */
137+ SCIP_Real* symcodetime /* *< pointer to store the time for symmetry code */
138+ )
139+ { /* lint --e{715}*/
140+ assert ( scip != NULL );
141+ assert ( graph != NULL );
142+ assert ( nperms != NULL );
143+ assert ( nmaxperms != NULL );
144+ assert ( perms != NULL );
145+ assert ( log10groupsize != NULL );
146+ assert ( symcodetime != NULL );
147+
148+ /* init */
149+ *nperms = 0 ;
150+ *nmaxperms = 0 ;
151+ *perms = NULL ;
152+ *log10groupsize = 0 ;
153+ *symcodetime = 0.0 ;
154+
155+ return SCIP_OKAY;
156+ }
157+
124158/* * returns whether two given graphs are identical */
125159SCIP_Bool SYMcheckGraphsAreIdentical (
126160 SCIP* scip, /* *< SCIP pointer */
0 commit comments