polypoly.dot 5.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163
  1. digraph polypoly {
  2. size="7,9.5";
  3. page="8.5,11";
  4. ratio=fill;
  5. node [shape=polygon];
  6. /* sides=0 is not accepted */
  7. { rank=same;
  8. node [sides=3];
  9. node [peripheries=1];
  10. 0000 [label="M"];
  11. 0001 [label="MMMMMMMMMM"];
  12. 0002 [label="M\nM\nM\nM\nM\nM"];
  13. 0003 [label="MMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM"];
  14. node [peripheries=2];
  15. 0010 [label="M"];
  16. 0011 [label="MMMMMMMMMM"];
  17. 0012 [label="M\nM\nM\nM\nM\nM"];
  18. 0013 [label="MMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM"];
  19. node [distortion=-.3];
  20. 0110 [label="M"];
  21. 0111 [label="MMMMMMMMMM"];
  22. 0112 [label="M\nM\nM\nM\nM\nM"];
  23. 0113 [label="MMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM"];
  24. }
  25. { rank=same;
  26. node [sides=3];
  27. node [peripheries=1];
  28. node [orientation=0];
  29. 3000 [label="M"];
  30. 3001 [label="MMMMMMMMMM"];
  31. 3002 [label="M\nM\nM\nM\nM\nM"];
  32. 3003 [label="MMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM"];
  33. node [peripheries=2];
  34. node [orientation=60];
  35. 3110 [label="M"];
  36. 3111 [label="MMMMMMMMMM"];
  37. 3112 [label="M\nM\nM\nM\nM\nM"];
  38. 3113 [label="MMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM"];
  39. }
  40. 3000->0000;
  41. { rank=same;
  42. node [sides=4];
  43. node [peripheries=1];
  44. node [orientation=0];
  45. 4000 [label="M"];
  46. 4001 [label="MMMMMMMMMM"];
  47. 4002 [label="M\nM\nM\nM\nM\nM"];
  48. 4003 [label="MMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM"];
  49. node [peripheries=2];
  50. node [orientation=45];
  51. 4110 [label="M"];
  52. 4111 [label="MMMMMMMMMM"];
  53. 4112 [label="M\nM\nM\nM\nM\nM"];
  54. 4113 [label="MMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM"];
  55. }
  56. 4000->3000;
  57. { rank=same;
  58. node [sides=5];
  59. node [peripheries=1];
  60. node [orientation=0];
  61. 5000 [label="M"];
  62. 5001 [label="MMMMMMMMMM"];
  63. 5002 [label="M\nM\nM\nM\nM\nM"];
  64. 5003 [label="MMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM"];
  65. node [peripheries=2];
  66. node [orientation=36];
  67. 5110 [label="M"];
  68. 5111 [label="MMMMMMMMMM"];
  69. 5112 [label="M\nM\nM\nM\nM\nM"];
  70. 5113 [label="MMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM"];
  71. }
  72. 5000->4000;
  73. { rank=same;
  74. node [sides=6];
  75. node [peripheries=1];
  76. node [orientation=0];
  77. 6000 [label="M"];
  78. 6001 [label="MMMMMMMMMM"];
  79. 6002 [label="M\nM\nM\nM\nM\nM"];
  80. 6003 [label="MMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM"];
  81. node [peripheries=2];
  82. node [orientation=30];
  83. 6110 [label="M"];
  84. 6111 [label="MMMMMMMMMM"];
  85. 6112 [label="M\nM\nM\nM\nM\nM"];
  86. 6113 [label="MMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM"];
  87. }
  88. 6000->5000;
  89. { rank=same;
  90. node [sides=7];
  91. node [peripheries=1];
  92. node [orientation=0];
  93. 7000 [label="M"];
  94. 7001 [label="MMMMMMMMMM"];
  95. 7002 [label="M\nM\nM\nM\nM\nM"];
  96. 7003 [label="MMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM"];
  97. node [peripheries=2];
  98. node [orientation=25.7];
  99. 7110 [label="M"];
  100. 7111 [label="MMMMMMMMMM"];
  101. 7112 [label="M\nM\nM\nM\nM\nM"];
  102. 7113 [label="MMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM"];
  103. }
  104. 7000->6000;
  105. { rank=same;
  106. node [sides=8];
  107. node [peripheries=1];
  108. node [orientation=0];
  109. 8000 [label="M"];
  110. 8001 [label="MMMMMMMMMM"];
  111. 8002 [label="M\nM\nM\nM\nM\nM"];
  112. 8003 [label="MMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM"];
  113. node [peripheries=2];
  114. node [orientation=22.5];
  115. 8110 [label="M"];
  116. 8111 [label="MMMMMMMMMM"];
  117. 8112 [label="M\nM\nM\nM\nM\nM"];
  118. 8113 [label="MMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM\nMMMMMMMMMM"];
  119. }
  120. 8000->7000;
  121. { rank=same;
  122. node [sides=4];
  123. node [peripheries=1];
  124. node [regular=1];
  125. node [distortion=.5];
  126. node [orientation=0];
  127. 9000 [label="M"];
  128. node [orientation=45];
  129. 9001 [label="M"];
  130. node [orientation=90];
  131. 9002 [label="M"];
  132. node [orientation=135];
  133. 9003 [label="M"];
  134. node [orientation=180];
  135. 9004 [label="M"];
  136. node [orientation=225];
  137. 9005 [label="M"];
  138. node [orientation=270];
  139. 9006 [label="M"];
  140. node [orientation=315];
  141. 9007 [label="M"];
  142. node [peripheries=2];
  143. node [orientation=0];
  144. 9010 [label="M"];
  145. node [orientation=45];
  146. 9011 [label="M"];
  147. node [orientation=90];
  148. 9012 [label="M"];
  149. node [orientation=135];
  150. 9013 [label="M"];
  151. node [orientation=180];
  152. 9014 [label="M"];
  153. node [orientation=225];
  154. 9015 [label="M"];
  155. node [orientation=270];
  156. 9016 [label="M"];
  157. node [orientation=315.];
  158. 9017 [label="M"];
  159. }
  160. 9000->8000;
  161. }