Advertisement
kpfp_linux

Untitled

Nov 12th, 2012
63
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 2.84 KB | None | 0 0
  1. {beg (0,0): [A: (0,0) --> (3,3)] }
  2. pre: SL→
  3. post: SL→ [A: (0,0) --> (3,3)] ,
  4. {beg (0,6): [B: (0,6) --> (6,0)] }
  5. pre: SL→ [A: (0,0) --> (3,3)] ,
  6. [B: (0,6) --> (6,0)] >= [A: (0,0) --> (3,3)]
  7. [A: (0,0) --> (3,3)] < [B: (0,6) --> (6,0)]
  8. [B: (0,6) --> (6,0)] >= [A: (0,0) --> (3,3)]
  9. pusz intersection (1): [A: (0,0) --> (3,3)] x [B: (0,6) --> (6,0)]
  10. post: SL→ [A: (0,0) --> (3,3)] , [B: (0,6) --> (6,0)] ,
  11. {beg (1,3): [C: (1,3) --> (5,3)] }
  12. pre: SL→ [A: (0,0) --> (3,3)] , [B: (0,6) --> (6,0)] ,
  13. [C: (1,3) --> (5,3)] >= [A: (0,0) --> (3,3)]
  14. [C: (1,3) --> (5,3)] < [B: (0,6) --> (6,0)]
  15. [A: (0,0) --> (3,3)] < [C: (1,3) --> (5,3)]
  16. [C: (1,3) --> (5,3)] < [B: (0,6) --> (6,0)]
  17. pusz intersection (1): [A: (0,0) --> (3,3)] x [C: (1,3) --> (5,3)]
  18. pusz intersection (1): [C: (1,3) --> (5,3)] x [B: (0,6) --> (6,0)]
  19. post: SL→ [A: (0,0) --> (3,3)] , [C: (1,3) --> (5,3)] , [B: (0,6) --> (6,0)] ,
  20. {vrt (1,1): [D: (1,6) --> (1,1)] }
  21. pre: SL→ [A: (0,0) --> (3,3)] , [C: (1,3) --> (5,3)] , [B: (0,6) --> (6,0)] ,
  22. post: SL→ [A: (0,0) --> (3,3)] , [C: (1,3) --> (5,3)] , [B: (0,6) --> (6,0)] ,
  23. {int (3,3): [C: (1,3) --> (5,3)] x [B: (0,6) --> (6,0)] }
  24. pre: SL→ [A: (0,0) --> (3,3)] , [C: (1,3) --> (5,3)] , [B: (0,6) --> (6,0)] ,
  25. Usuwam: [C: (1,3) --> (5,3)] oraz [B: (0,6) --> (6,0)]
  26. [C: (1,3) --> (5,3)] >= [C: (1,3) --> (5,3)]
  27. [A: (0,0) --> (3,3)] < [C: (1,3) --> (5,3)]
  28. [C: (1,3) --> (5,3)] >= [C: (1,3) --> (5,3)]
  29. [C: (1,3) --> (5,3)] < [B: (0,6) --> (6,0)]
  30. [B: (0,6) --> (6,0)] >= [B: (0,6) --> (6,0)]
  31. [B: (0,6) --> (6,0)] >= [B: (0,6) --> (6,0)]
  32. [C: (1,3) --> (5,3)] >= [C: (1,3) --> (5,3)]
  33. [A: (0,0) --> (3,3)] < [C: (1,3) --> (5,3)]
  34. [C: (1,3) --> (5,3)] >= [C: (1,3) --> (5,3)]
  35. [B: (0,6) --> (6,0)] >= [B: (0,6) --> (6,0)]
  36. [A: (0,0) --> (3,3)] < [B: (0,6) --> (6,0)]
  37. [B: (0,6) --> (6,0)] >= [B: (0,6) --> (6,0)]
  38. inter (1): SL→ [A: (0,0) --> (3,3)] ,
  39. Poprawione p, wstawiam: [C: (3,3) --> (5,3)] < [B: (3,3) --> (6,0)]
  40. [C: (3,3) --> (5,3)] >= [A: (0,0) --> (3,3)]
  41. [A: (0,0) --> (3,3)] >= [C: (3,3) --> (5,3)]
  42. [B: (3,3) --> (6,0)] >= [A: (0,0) --> (3,3)]
  43. [A: (0,0) --> (3,3)] >= [B: (3,3) --> (6,0)]
  44. inter (2): SL→ [A: (0,0) --> (3,3)] ,
  45. [A: (0,0) --> (3,3)] >= [C: (3,3) --> (5,3)]
  46. [C: (3,3) --> (5,3)] >= [A: (0,0) --> (3,3)]
  47. [A: (0,0) --> (3,3)] >= [B: (3,3) --> (6,0)]
  48. [B: (3,3) --> (6,0)] >= [A: (0,0) --> (3,3)]
  49. Size 1 =?= 3
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement