| version 1.9, 2000/08/22 05:03:58 |
version 1.10, 2000/09/08 02:56:32 |
|
|
| * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
| * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
| * |
* |
| * $OpenXM: OpenXM_contrib2/asir2000/builtin/gr.c,v 1.8 2000/08/21 08:31:19 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/builtin/gr.c,v 1.9 2000/08/22 05:03:58 noro Exp $ |
| */ |
*/ |
| #include "ca.h" |
#include "ca.h" |
| #include "parse.h" |
#include "parse.h" |
|
|
| if ( m ) { |
if ( m ) { |
| get_eg(&tspm0); |
get_eg(&tspm0); |
| _dp_sp_mod_dup(psm[l->dp1],psm[l->dp2],m,&h); |
_dp_sp_mod_dup(psm[l->dp1],psm[l->dp2],m,&h); |
| new_sugar = h->sugar; |
if ( h ) |
| |
new_sugar = h->sugar; |
| get_eg(&tspm1); add_eg(&eg_spm,&tspm0,&tspm1); |
get_eg(&tspm1); add_eg(&eg_spm,&tspm0,&tspm1); |
| get_eg(&tnfm0); |
get_eg(&tnfm0); |
| _dp_nf_mod_destructive(gall,h,psm,m,0,&nfm); |
_dp_nf_mod_destructive(gall,h,psm,m,0,&nfm); |
|
|
| STOQ(l->dp1,q); ARG1(BDY((LIST)BDY(NEXT(TraceList)))) = q; |
STOQ(l->dp1,q); ARG1(BDY((LIST)BDY(NEXT(TraceList)))) = q; |
| STOQ(l->dp2,q); ARG1(BDY((LIST)BDY(TraceList))) = q; |
STOQ(l->dp2,q); ARG1(BDY((LIST)BDY(TraceList))) = q; |
| } |
} |
| new_sugar = h->sugar; |
if ( h ) |
| |
new_sugar = h->sugar; |
| get_eg(&tsp1); add_eg(&eg_sp,&tsp0,&tsp1); |
get_eg(&tsp1); add_eg(&eg_sp,&tsp0,&tsp1); |
| get_eg(&tnf0); |
get_eg(&tnf0); |
| t_0 = get_rtime(); |
t_0 = get_rtime(); |