| 1 | (cd "promot:kb;SignalTransd;structure;") |
|---|
| 2 | (include "struct-ana-library") |
|---|
| 3 | |
|---|
| 4 | (define-module |
|---|
| 5 | :class "toy-model" |
|---|
| 6 | :super-classes ("module") |
|---|
| 7 | :geometry-width "662" |
|---|
| 8 | :geometry-height "643" |
|---|
| 9 | :modules |
|---|
| 10 | (("a" |
|---|
| 11 | :is-a "compound" |
|---|
| 12 | :geometry-x "194" |
|---|
| 13 | :geometry-y "190") |
|---|
| 14 | ("activ" |
|---|
| 15 | :is-a "activ" |
|---|
| 16 | :geometry-x "207" |
|---|
| 17 | :geometry-y "308") |
|---|
| 18 | ("activ0" |
|---|
| 19 | :is-a "activ" |
|---|
| 20 | :geometry-x "430" |
|---|
| 21 | :geometry-y "319") |
|---|
| 22 | ("activ1" |
|---|
| 23 | :is-a "activ" |
|---|
| 24 | :geometry-x "249" |
|---|
| 25 | :geometry-y "450") |
|---|
| 26 | ("activ2" |
|---|
| 27 | :is-a "activ" |
|---|
| 28 | :geometry-x "266" |
|---|
| 29 | :geometry-y "94") |
|---|
| 30 | ("activ3" |
|---|
| 31 | :is-a "activ" |
|---|
| 32 | :geometry-x "432" |
|---|
| 33 | :geometry-y "100") |
|---|
| 34 | ("activ4" |
|---|
| 35 | :is-a "activ" |
|---|
| 36 | :geometry-x "264" |
|---|
| 37 | :geometry-y "550") |
|---|
| 38 | ("activ5" |
|---|
| 39 | :is-a "activ" |
|---|
| 40 | :geometry-x "105" |
|---|
| 41 | :geometry-y "162") |
|---|
| 42 | ("and_2" |
|---|
| 43 | :is-a "and-2" |
|---|
| 44 | :geometry-x "270" |
|---|
| 45 | :geometry-y "175") |
|---|
| 46 | ("and_20" |
|---|
| 47 | :is-a "and-2" |
|---|
| 48 | :geometry-x "442" |
|---|
| 49 | :geometry-y "187") |
|---|
| 50 | ("b" |
|---|
| 51 | :is-a "compound" |
|---|
| 52 | :geometry-x "322" |
|---|
| 53 | :geometry-y "148") |
|---|
| 54 | ("c" |
|---|
| 55 | :is-a "compound" |
|---|
| 56 | :geometry-x "490" |
|---|
| 57 | :geometry-y "144") |
|---|
| 58 | ("dead_end" |
|---|
| 59 | :is-a "dead-end" |
|---|
| 60 | :geometry-x "189" |
|---|
| 61 | :geometry-y "615") |
|---|
| 62 | ("e" |
|---|
| 63 | :is-a "compound" |
|---|
| 64 | :geometry-x "270" |
|---|
| 65 | :geometry-y "251") |
|---|
| 66 | ("f" |
|---|
| 67 | :is-a "compound" |
|---|
| 68 | :geometry-x "509" |
|---|
| 69 | :geometry-y "305") |
|---|
| 70 | ("g" |
|---|
| 71 | :is-a "compound" |
|---|
| 72 | :geometry-x "315" |
|---|
| 73 | :geometry-y "405") |
|---|
| 74 | ("input_b" |
|---|
| 75 | :is-a "input-comp" |
|---|
| 76 | :geometry-x "313" |
|---|
| 77 | :geometry-y "41") |
|---|
| 78 | ("input_c" |
|---|
| 79 | :is-a "input-comp" |
|---|
| 80 | :geometry-x "504" |
|---|
| 81 | :geometry-y "41") |
|---|
| 82 | ("not" |
|---|
| 83 | :is-a "not" |
|---|
| 84 | :geometry-x "376" |
|---|
| 85 | :geometry-y "167") |
|---|
| 86 | ("not0" |
|---|
| 87 | :is-a "not" |
|---|
| 88 | :geometry-x "96" |
|---|
| 89 | :geometry-y "70") |
|---|
| 90 | ("s" |
|---|
| 91 | :is-a "compound" |
|---|
| 92 | :geometry-x "362" |
|---|
| 93 | :geometry-y "530")) |
|---|
| 94 | :links |
|---|
| 95 | (("activ1output_sinput" |
|---|
| 96 | :terminals ("activ1.output" "s.input" "activ4.input1") |
|---|
| 97 | :nodes (("360" "504")) |
|---|
| 98 | :edges (("0" "-1" nil) ("1" "-1" nil) ("2" "-1" nil))) |
|---|
| 99 | ("activ2input1_input_boutput" |
|---|
| 100 | :terminals ("activ2.input1" "input_b.output")) |
|---|
| 101 | ("activ3input1_input_coutput" |
|---|
| 102 | :terminals ("activ3.input1" "input_c.output")) |
|---|
| 103 | ("activ4output_dead_endinput" |
|---|
| 104 | :terminals ("activ4.output" "dead_end.input")) |
|---|
| 105 | ("activ5output_ainput" |
|---|
| 106 | :terminals ("activ5.output" "a.input" "and_2.input1") |
|---|
| 107 | :nodes (("194" "160")) |
|---|
| 108 | :edges (("0" "-1" |
|---|
| 109 | (("104" "232") ("146" "232") ("152" "128") ("200" "128"))) |
|---|
| 110 | ("1" "-1" nil) ("2" "-1" nil))) |
|---|
| 111 | ("activoutput_ginput" |
|---|
| 112 | :terminals ("activ.output" "g.input" "activ0.output" "activ1.input1" |
|---|
| 113 | "not0.input") |
|---|
| 114 | :nodes (("320" "362")) |
|---|
| 115 | :edges (("0" "-1" nil) ("1" "-1" nil) ("2" "-1" nil) ("3" "-1" nil) |
|---|
| 116 | ("4" "-1" (("96" "16") ("24" "16") ("24" "384"))))) |
|---|
| 117 | ("and_20input1_notoutput" |
|---|
| 118 | :terminals ("and_20.input1" "not.output")) |
|---|
| 119 | ("and_20output_finput" |
|---|
| 120 | :terminals ("and_20.output" "f.input" "activ0.input1") |
|---|
| 121 | :nodes (("504" "264")) |
|---|
| 122 | :edges (("0" "-1" nil) ("1" "-1" nil) ("2" "-1" nil))) |
|---|
| 123 | ("and_2output_einput" |
|---|
| 124 | :terminals ("and_2.output" "e.input" "activ.input1") |
|---|
| 125 | :nodes (("272" "224")) |
|---|
| 126 | :edges (("0" "-1" nil) ("1" "-1" nil) ("2" "-1" nil))) |
|---|
| 127 | ("binput_and_2input2" |
|---|
| 128 | :terminals ("b.input" "and_2.input2" "not.input" "activ2.output") |
|---|
| 129 | :nodes (("319" "138")) |
|---|
| 130 | :edges (("0" "-1" (("328" "136"))) ("1" "-1" nil) ("2" "-1" nil) |
|---|
| 131 | ("3" "-1" nil))) |
|---|
| 132 | ("cinput_and_20input2" |
|---|
| 133 | :terminals ("c.input" "and_20.input2" "activ3.output") |
|---|
| 134 | :nodes (("493" "142")) |
|---|
| 135 | :edges (("0" "-1" (("493" "142"))) ("1" "-1" nil) ("2" "-1" nil))) |
|---|
| 136 | ("not0output_activ5input1" |
|---|
| 137 | :terminals ("not0.output" "activ5.input1")))) |
|---|
| 138 | |
|---|
