home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / CYCLES2.REF < prev    next >
Text File  |  1996-06-04  |  705b  |  82 lines
  1. _A: a(_A)' '_A: a(_A)
  2. _A: a(_A)' '_A: a(_A)
  3. _A: a(_A)' '_A: a(_A)
  4. 2' '_A: a(_A)
  5.  
  6. 1' '1
  7. 1' '_A: f(_A)
  8. _A: f(_A)' '_A: f(_A)
  9. 2' '1
  10.  
  11. 1' '1
  12. 2' '1
  13.  
  14. *** Yes
  15. > > A: a(A)' 'A: a(A)
  16.  
  17. *** Yes
  18. A = a(A), X = A.
  19. --1> 
  20. *** No
  21. > A: a(A)' 'X: a(X)
  22.  
  23. *** Yes
  24. A = a(A), X = a(X).
  25. --1> 
  26. *** No
  27. > A: a(A)' 'A: a(A)
  28.  
  29. *** Yes
  30. A = a(A), X = A.
  31. --1> 
  32. *** No
  33. > 2' 'X: a(X)
  34.  
  35. *** Yes
  36. A = 2, X = a(X).
  37. --1> 
  38. *** No
  39. > 
  40.  
  41. *** Yes
  42. > > 1' '1
  43.  
  44. *** Yes
  45. A = 1, X = A.
  46. --1> 
  47. *** No
  48. > 1' 'X: f(X)
  49.  
  50. *** Yes
  51. A = 1, X = f(X).
  52. --1> 
  53. *** No
  54. > A: f(A)' 'A: f(A)
  55.  
  56. *** Yes
  57. A = f(A), X = A.
  58. --1> 
  59. *** No
  60. > 2' '1
  61.  
  62. *** Yes
  63. A = 2, X = 1.
  64. --1> 
  65. *** No
  66. > 
  67.  
  68. *** Yes
  69. > > 1' '1
  70.  
  71. *** Yes
  72. A = 1, X = 1.
  73. --1> 
  74. *** No
  75. > 2' '1
  76.  
  77. *** Yes
  78. A = 2, X = 1.
  79. --1> 
  80. *** No
  81. > 
  82.