version 1.92, 2014/08/19 06:35:01 |
version 1.93, 2014/10/10 09:02:24 |
|
|
* 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/dp.c,v 1.91 2013/09/12 06:46:16 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/builtin/dp.c,v 1.92 2014/08/19 06:35:01 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "base.h" |
#include "base.h" |
|
|
} |
} |
} |
} |
|
|
Obj current_top_weight; |
extern Obj current_top_weight; |
extern Obj nd_top_weight; |
extern Obj nd_top_weight; |
|
|
void Pdp_set_top_weight(NODE arg,Obj *rp) |
void Pdp_set_top_weight(NODE arg,Obj *rp) |
Line 2651 void Pdp_set_top_weight(NODE arg,Obj *rp) |
|
Line 2651 void Pdp_set_top_weight(NODE arg,Obj *rp) |
|
if ( !arg ) |
if ( !arg ) |
*rp = current_top_weight; |
*rp = current_top_weight; |
else if ( !ARG0(arg) ) { |
else if ( !ARG0(arg) ) { |
nd_top_weight = 0; |
reset_top_weight(); |
current_top_weight = 0; |
|
*rp = 0; |
*rp = 0; |
} else { |
} else { |
id = OID(ARG0(arg)); |
id = OID(ARG0(arg)); |