home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / BOOLPRED.REF < prev    next >
Text File  |  1996-06-04  |  590b  |  52 lines
  1.  
  2. *** Yes
  3. > > 
  4. *** Yes
  5. > 
  6. *** Yes
  7. A = a, X = p(A).
  8. --1> > 
  9. *** Yes
  10. A = a, X = p(A).
  11. --1> > 
  12. *** Yes
  13. > boo44
  14. *** Yes
  15. > 
  16. *** Yes
  17. X = @~.
  18. --1> boo44
  19. *** Yes
  20. X = 44.
  21. ----2> > 
  22. *** Yes
  23. X = @~, Y = @~.
  24. --1> boo44
  25. *** Yes
  26. X = 44, Y = write(boo,X).
  27. ----2> > boo44
  28. *** Yes
  29. X = 44, Y = write(boo,X).
  30. --1> > boo44
  31. *** Yes
  32. X = 44, Y = write(boo,X).
  33. --1> > boo44
  34. *** Yes
  35. X = 44, Y = write(boo,X).
  36. --1> > boo44
  37. *** Yes
  38. X = 44, Y = write(boo,X).
  39. --1> > boo44
  40. *** Yes
  41. X = 44, Y = write(boo,X).
  42. --1> > boo44
  43. *** Yes
  44. X = 44, Y = write(boo,X).
  45. --1> > boo44
  46. *** Yes
  47. X = 44.
  48. --1> > boo44
  49. *** Yes
  50. X = 44.
  51. --1> > 
  52.