version 1.35, 2020/08/26 06:40:36 |
version 1.37, 2020/10/06 06:31:19 |
|
|
/* $OpenXM: OpenXM_contrib2/asir2018/engine/nd.c,v 1.34 2020/07/10 08:09:05 noro Exp $ */ |
/* $OpenXM: OpenXM_contrib2/asir2018/engine/nd.c,v 1.36 2020/09/27 04:35:04 noro Exp $ */ |
|
|
#include "nd.h" |
#include "nd.h" |
|
|
Line 2481 get_eg(&eg2); add_eg(&eg_update,&eg1,&eg2); |
|
Line 2481 get_eg(&eg2); add_eg(&eg_update,&eg1,&eg2); |
|
} |
} |
if ( DP_Print ) { printf("."); fflush(stdout); } |
if ( DP_Print ) { printf("."); fflush(stdout); } |
FREENDP(l); |
FREENDP(l); |
} |
} |
} |
} |
conv_ilist(nd_demand,0,g,indp); |
conv_ilist(nd_demand,0,g,indp); |
if ( !checkonly && DP_Print ) { printf("nd_gb done. Number of nd_add=%d\n",Nnd_add); fflush(stdout); } |
if ( !checkonly && DP_Print ) { printf("nd_gb done. Number of nd_add=%d\n",Nnd_add); fflush(stdout); } |
print_eg("update",&eg_update); |
|
return g; |
if ( DP_Print ) |
|
print_eg("update",&eg_update); |
|
return g; |
} |
} |
|
|
ND_pairs update_pairs_s(ND_pairs d,int t,NODE *syz); |
ND_pairs update_pairs_s(ND_pairs d,int t,NODE *syz); |
|
|
if ( bucket->m < 0 ) continue; |
if ( bucket->m < 0 ) continue; |
col = nd_symbolic_preproc_s(bucket,0,&s0vect,&rp0); |
col = nd_symbolic_preproc_s(bucket,0,&s0vect,&rp0); |
if ( !col ) { |
if ( !col ) { |
for ( t = l; NEXT(t); t = NEXT(t) ); |
for ( t = l; NEXT(t); t = NEXT(t) ) |
NEXT(t) = d; d = l; |
; |
|
NEXT(t) = d; d = l; |
d = nd_reconstruct(0,d); |
d = nd_reconstruct(0,d); |
goto again2; |
goto again2; |
} |
} |