home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / DISEQUAL.R07 < prev    next >
Text File  |  1996-06-04  |  2KB  |  109 lines
  1.  
  2. *** Yes
  3. > > 
  4. *** No
  5. > 
  6. *** Yes
  7. A = @, B = @~, C = @~, D = @~, E = @~.
  8. --1> 
  9. *** No
  10. A = @, B = @~, C = @~, D = @~, E = @~.
  11. --1> 
  12. *** Yes
  13. A = @, B = @~, C = @~, D = B, E = @~.
  14. ----2> 
  15. *** No
  16. A = @, B = @~, C = @~, D = B, E = @~.
  17. ----2> 
  18. *** Yes
  19. A = @, B = @~, C = int~, D = B, E = @~.
  20. ------3> 
  21. *** No
  22. A = @, B = @~, C = @~, D = B, E = @~.
  23. ----2> 
  24. *** No
  25. A = @, B = @~, C = @~, D = @~, E = @~.
  26. --1> 
  27. *** No
  28. A = @, B = @~, C = @~, D = @~, E = @~.
  29. --1> 
  30. *** No
  31. > 
  32. *** Yes
  33. A = @, X = @~, Y = @~.
  34. --1> 
  35. *** Yes
  36. A = @, X = @~, Y = X.
  37. ----2> 
  38. *** Yes
  39. A = @, X = 23~, Y = X.
  40. ------3> 
  41. *** Yes
  42. A = a, X = 23(1), Y = X.
  43. --------4> 
  44. *** No
  45. A = @, X = 23~, Y = X.
  46. ------3> 
  47. *** No
  48. A = @, X = @~, Y = X.
  49. ----2> 
  50. *** No
  51. A = @, X = @~, Y = @~.
  52. --1> 
  53. *** No
  54. > 
  55. *** No
  56. > 
  57. *** Yes
  58. A = @, X = @~, Y = @~.
  59. --1> 
  60. *** No
  61. A = @, X = @~, Y = @~.
  62. --1> 
  63. *** Yes
  64. A = @~, X = @(A)~, Y = @~.
  65. ----2> 
  66. *** Yes
  67. A = @~, B = @~, X = @(A)~, Y = @(B)~.
  68. ------3> 
  69. *** Yes
  70. A = @~, B = A, X = @(A)~, Y = @(A)~.
  71. --------4> 
  72. *** No
  73. A = @~, B = A, X = @(A)~, Y = @(A)~.
  74. --------4> 
  75. *** No
  76. A = @~, B = @~, X = @(A)~, Y = @(B)~.
  77. ------3> 
  78. *** No
  79. A = @~, X = @(A)~, Y = @~.
  80. ----2> 
  81. *** No
  82. A = @, X = @~, Y = @~.
  83. --1> 
  84. *** No
  85. > 
  86. *** Yes
  87. A = @, X = @~, Y = @~.
  88. --1> 
  89. *** Yes
  90. A = @, B = @~, X = @(B)~, Y = @~.
  91. ----2> 
  92. *** Yes
  93. A = @, B = @~, C = @~, X = @(B)~, Y = @(C)~.
  94. ------3> 
  95. *** No
  96. A = @, B = @~, C = @~, X = @(B)~, Y = @(C)~.
  97. ------3> 
  98. *** No
  99. A = @, B = @~, C = @~, X = @(B)~, Y = @(C)~.
  100. ------3> 
  101. *** No
  102. A = @, B = @~, X = @(B)~, Y = @~.
  103. ----2> 
  104. *** No
  105. A = @, X = @~, Y = @~.
  106. --1> 
  107. *** No
  108. > 
  109.