[BACK]Return to al.c CVS log [TXT][DIR] Up to [local] / OpenXM_contrib2 / asir2018 / builtin

Diff for /OpenXM_contrib2/asir2018/builtin/al.c between version 1.2 and 1.3

version 1.2, 2018/09/28 08:20:27 version 1.3, 2020/10/06 06:31:19
Line 1 
Line 1 
 /* $OpenXM: OpenXM_contrib2/asir2018/builtin/al.c,v 1.1 2018/09/19 05:45:05 noro Exp $ */  /* $OpenXM: OpenXM_contrib2/asir2018/builtin/al.c,v 1.2 2018/09/28 08:20:27 noro Exp $ */
 /* ----------------------------------------------------------------------  /* ----------------------------------------------------------------------
    $Id$     $Id$
    ----------------------------------------------------------------------     ----------------------------------------------------------------------
Line 783  int simpl_gand_smtbelhs(thop,atop,pnatop)
Line 783  int simpl_gand_smtbelhs(thop,atop,pnatop)
       return(DROP);        return(DROP);
     }      }
   }    }
     /* XXX */
     return 0;
 }  }
   
 int simpl_gand_smtbdlhs(thop,atop,difference)  int simpl_gand_smtbdlhs(thop,atop,difference)
Line 843  int simpl_gand_smtbdlhs(thop,atop,difference)
Line 845  int simpl_gand_smtbdlhs(thop,atop,difference)
       return(drop2);        return(drop2);
     }      }
   }    }
     /* XXX */
     return 0;
 }  }
   
 void lbc(f,pc)  void lbc(f,pc)
Line 985  oFOP op1,op2;
Line 989  oFOP op1,op2;
     return -1;      return -1;
   }    }
   error("unknown relation in comprel");    error("unknown relation in comprel");
     return 0;
 }  }
   
 int synequalf(f1,f2)  int synequalf(f1,f2)
Line 1005  F f1,f2;
Line 1010  F f1,f2;
       return 0;        return 0;
     return 1;      return 1;
   }    }
     /* XXX */
     return 0;
 }  }
   
 void simpl_impl(op,prem,concl,th,n,pf)  void simpl_impl(op,prem,concl,th,n,pf)
Line 1226  F f,*pnf;
Line 1233  F f,*pnf;
     w = qevar(MAT(cel),&cvl,&n);      w = qevar(MAT(cel),&cvl,&n);
     qeblock_verbose1b(w,pr);      qeblock_verbose1b(w,pr);
     for (sc=n; sc; sc=NEXT(sc))      for (sc=n; sc; sc=NEXT(sc))
       if ((F)BDY(sc) != F_FALSE)        if ((F)BDY(sc) != F_FALSE) {
         if (cvl) {          if (cvl) {
           MKCEL(cel,cvl,(F)BDY(sc));            MKCEL(cel,cvl,(F)BDY(sc));
           if (!comember(co,cel))            if (!comember(co,cel))
Line 1235  F f,*pnf;
Line 1242  F f,*pnf;
           NEXTNODE(nargl,narglc);            NEXTNODE(nargl,narglc);
           BDY(narglc) = BDY(sc);            BDY(narglc) = BDY(sc);
         }          }
         }
   }    }
   qeblock_verbose2();    qeblock_verbose2();
   smkjf(pnf,AL_OR,nargl);    smkjf(pnf,AL_OR,nargl);
Line 1327  NODE *pfl;
Line 1335  NODE *pfl;
   for (sc=eset; sc; sc=NEXT(sc)) {    for (sc=eset; sc; sc=NEXT(sc)) {
     NEXTNODE(r,rc);      NEXTNODE(r,rc);
     subgpf(f,x,BDY(sc),&h);      subgpf(f,x,BDY(sc),&h);
     simpl(h,(NODE)NULL,&BDY(rc));      simpl(h,(NODE)NULL,(F *)BDY(rc));
   }    }
   *pfl = r;    *pfl = r;
   return w;    return w;
Line 2249  pointer argv[];
Line 2257  pointer argv[];
     NODE sc,n=NULL,c;      NODE sc,n=NULL,c;
     for (sc=FJARG(f); sc; sc=NEXT(sc)) {      for (sc=FJARG(f); sc; sc=NEXT(sc)) {
       NEXTNODE(n,c);        NEXTNODE(n,c);
       apply2ats(BDY(sc),client,argv,&BDY(c));        apply2ats(BDY(sc),client,argv,(F *)&BDY(c));
     }      }
     MKJF(*pnf,FOP(f),n);      MKJF(*pnf,FOP(f),n);
   }    }
Line 2550  RE re;
Line 2558  RE re;
 void gpp(gp)  void gpp(gp)
 GP gp;  GP gp;
 {  {
   ap(gp->g);    ap((pointer *)gp->g);
   rep(gp->p);    rep(gp->p);
 }  }
   
Legend:
Removed from v.1.2  
changed lines
  Added in v.1.3
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>