| 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; |
| } |
} |