version 1.92, 2005/11/02 08:22:39 |
version 1.94, 2005/11/02 10:02: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/strobj.c,v 1.91 2005/11/02 06:32:44 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/builtin/strobj.c,v 1.93 2005/11/02 09:39:10 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
Line 2770 int fnode_normalize_match(FNODE f,FNODE pat,NODE *rp) |
|
Line 2770 int fnode_normalize_match(FNODE f,FNODE pat,NODE *rp) |
|
return 1; |
return 1; |
|
|
case I_FORMULA: |
case I_FORMULA: |
if ( !arf_comp(CO,(Obj)FA0(f),(Obj)FA0(pat)) ) { |
if ( f->id == I_FORMULA && !arf_comp(CO,(Obj)FA0(f),(Obj)FA0(pat)) ) { |
*rp = 0; return 1; |
*rp = 0; return 1; |
} else |
} else |
return 0; |
return 0; |
Line 2844 FNODE fnode_removeith_naryadd(FNODE p,int i) |
|
Line 2844 FNODE fnode_removeith_naryadd(FNODE p,int i) |
|
NEXTNODE(r0,r); |
NEXTNODE(r0,r); |
BDY(r) = BDY(t); |
BDY(r) = BDY(t); |
} |
} |
t = NEXT(t); |
NEXT(r) = NEXT(t); |
NEXT(r) = 0; |
|
return fnode_node_to_naryadd(r0); |
return fnode_node_to_naryadd(r0); |
} |
} |
|
|