| version 1.35, 2020/08/26 06:40:36 |
version 1.36, 2020/09/27 04:35:04 |
|
|
| /* $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.35 2020/08/26 06:40:36 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); |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to nd.c CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM_contrib2 / asir2018 / engine