home *** CD-ROM | disk | FTP | other *** search
/ InfoMagic Source Code 1993 July / THE_SOURCE_CODE_CD_ROM.iso / gnu / nihcl-3.0 / test / sets.v < prev    next >
Encoding:
Text File  |  1990-05-19  |  258 b   |  30 lines
  1.  
  2. Test class Set
  3. s = (1,1)
  4. (1,3)
  5. (1,2)
  6. t = (1,1)
  7. (1,3)
  8. (1,2)
  9. t = 
  10. s.includes(C): 1
  11. t == s: 1
  12. s.includes(C): 0
  13. t == s: 0
  14. s = (1,1)
  15. (1,4)
  16. (1,2)
  17. t = (1,1)
  18. (1,3)
  19. (1,2)
  20. s&t = (1,1)
  21. (1,2)
  22. s|t = (1,1)
  23. (1,4)
  24. (1,3)
  25. (1,2)
  26. s-t = (1,4)
  27. s.asOrderedCltn: (1,1)
  28. (1,4)
  29. (1,2)
  30.