Posted to tcl by kbk at Wed Jan 08 23:57:55 GMT 2014view raw

  1. # Stuff to initialize all temporary relations to empty snipped...
  2.  
  3. ::oo::Obj14::sys load seq {3 0 4 4 1 4 6 0 3 7 1 3 9 0 2 10 1 2 12 0 1 13 1
  4. 1 15 0 0 16 1 0} 0 1
  5. ::oo::Obj14::sys | seq seq seq0
  6. ::oo::Obj14::sys load #T6 {3 0 4 6 0 3 9 0 2 12 0 1 15 0 0} 0
  7. ::oo::Obj14::sys := #T7 1
  8. ::oo::Obj14::sys & #T8 #T6 #T7
  9. ::oo::Obj14::sys | writes writes #T8
  10. ::oo::Obj14::sys | writes writes writes0
  11. ::oo::Obj14::sys := #T19 1
  12. ::oo::Obj14::sys & #T20 seq #T19
  13. ::oo::Obj14::sys | flowspast flowspast #T20
  14. while 1 {
  15. ::oo::Obj14::sys := #T21 flowspast
  16. ::oo::Obj14::sys replace #T24 {15 12 9 6 3 16 13 10 7 4} {17 14 11 8 5 1
  17. 5 12 9 6 3} flowspast
  18. ::oo::Obj14::sys > #T28 #T24 writes
  19. ::oo::Obj14::sys & #T32 #T28 flowspast
  20. ::oo::Obj14::sys project #T34 {3 6 9 12 15} #T32
  21. ::oo::Obj14::sys replace #T35 {17 14 11 8 5} {15 12 9 6 3} #T34
  22. ::oo::Obj14::sys | flowspast flowspast #T35
  23. if {[::oo::Obj14::sys === #T21 flowspast]} break
  24. }
  25. ::oo::Obj14::sys & #T42 writes flowspast
  26. ::oo::Obj14::sys replace #T45 {15 12 9 6 3} {16 13 10 7 4} reads
  27. ::oo::Obj14::sys & #T46 #T42 #T45
  28. ::oo::Obj14::sys | reaches reaches #T46
  29. ::oo::Obj14::sys load #T52 {3 0 4 6 0 3 9 0 2 12 0 1 15 0 0} 0
  30. ::oo::Obj14::sys := #T53 1
  31. ::oo::Obj14::sys & #T54 #T52 #T53
  32. ::oo::Obj14::sys | #T49 #T49 #T54
  33. ::oo::Obj14::sys & #T49 #T49 reaches
  34. ::oo::Obj14::sys project #T50 {3 6 9 12 15} #T49
  35. ::oo::Obj14::sys replace #T51 {16 13 10 7 4} {15 12 9 6 3} #T50
  36. ::oo::Obj14::sys | uninitRead uninitRead #T51
  37. ::oo::Obj14::sys project #T61 {4 7 10 13 16} reaches
  38. ::oo::Obj14::sys > #T63 writes #T61
  39. ::oo::Obj14::sys | deadWrite deadWrite #T63
  40.