nef2.h 1.2 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152
  1. /***************** nef2.h ***************/
  2. extern Void next PP((ptr_ *p));
  3. extern boolean eqatoms PP((long p1, long p2));
  4. extern Void first PP((long p, ptr_ *pp));
  5. extern Void lconc PP((long *a1, long a2));
  6. /* add an element*/
  7. extern Void crlst PP((long *l));
  8. /* s-adr. added element */
  9. /* s- adr. new fragment */
  10. extern Void crlistfr PP((long el, long *f));
  11. extern Void crtree PP((long *t));
  12. /* make empty tree */
  13. /* s-address of new tree fragment */
  14. extern Void crtreefr PP((long sel, long ob, long *frag));
  15. /* where to change */
  16. /* change to adr */
  17. extern Void changeel PP((ptr_ *pp, long adr));
  18. /* input - s-address */
  19. /* output:long integer value */
  20. extern boolean plnum PP((long sval, long *intval));
  21. /* input - any number */
  22. extern Void mknumb PP((long n, long *r));
  23. /* output - new descriptor (number) */
  24. /* s-address of main tree descr*/
  25. /* selector, a-address */
  26. /* object*/
  27. extern Void addel3 PP((long *tr_, long sel, long ob));
  28. /* 1-st tree */
  29. /* 2-nd tree */
  30. extern Void addtre PP((long *m, long t2));
  31. extern boolean compatom PP((long op, long adr1, long adr2));
  32. extern double take_fatom PP((long a1));
  33. extern Void pout PP((long root));
  34. extern Void pscr PP((long root));