version 1.111, 2005/12/18 01:44:16 |
version 1.112, 2005/12/18 01:57:21 |
|
|
* 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/strobj.c,v 1.110 2005/12/14 09:06:54 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/builtin/strobj.c,v 1.111 2005/12/18 01:44:16 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
Line 2593 void Pnqt_weight(NODE arg,Q *rp) |
|
Line 2593 void Pnqt_weight(NODE arg,Q *rp) |
|
|
|
q = (QUOTE)ARG0(arg); f = (FNODE)BDY(q); |
q = (QUOTE)ARG0(arg); f = (FNODE)BDY(q); |
f = fnode_normalize(f,0); |
f = fnode_normalize(f,0); |
w = nfnode_weight(f); |
w = nfnode_weight(qt_weight_tab,f); |
STOQ(w,*rp); |
STOQ(w,*rp); |
} |
} |
|
|
Line 3230 int nfnode_weight(struct wtab *tab,FNODE f) |
|
Line 3230 int nfnode_weight(struct wtab *tab,FNODE f) |
|
case I_FORMULA: |
case I_FORMULA: |
if ( fnode_is_coef(f) ) return 0; |
if ( fnode_is_coef(f) ) return 0; |
else if ( fnode_is_var(f) ) { |
else if ( fnode_is_var(f) ) { |
|
if ( !tab ) return 1; |
v = VR((P)FA0(f)); |
v = VR((P)FA0(f)); |
for ( i = 0; tab[i].v; i++ ) |
for ( i = 0; tab[i].v; i++ ) |
if ( v == tab[i].v ) return tab[i].w; |
if ( v == tab[i].v ) return tab[i].w; |
return w; |
return 1; |
} else return 0; |
} else return 0; |
|
|
/* XXX */ |
/* XXX */ |