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