Context Navigation

order @ 15

Last change on this file since 15 was 11, checked in by cecile, 13 years ago
Add vis
File size: 6.0 KB

Line
1	# vis release 1.2 (compiled 19-Feb-97 at 7:27 PM)
2	# network name: main
3	# generated: Wed Feb 19 19:49:23 1997
4	#
5	# name type mddId vals levs
6	init22<1> pseudo-input 1 2 (0)
7	init22<0> pseudo-input 2 2 (1)
8	init11<1> pseudo-input 3 2 (2)
9	init11<0> pseudo-input 4 2 (3)
10	e1.door latch 7 4 (4, 5)
11	e1.door$NS shadow 8 4 (6, 7)
12	e1.movement latch 16 2 (8)
13	e1.movement$NS shadow 17 2 (9)
14	e1.r_stop pseudo-input 24 2 (10)
15	e1.open_next$NS shadow 6 2 (11)
16	e1.open_next latch 5 2 (12)
17	e1.random pseudo-input 9 2 (13)
18	e2.door latch 33 4 (14, 16)
19	e2.door$NS shadow 34 4 (15, 17)
20	e2.movement latch 14 2 (18)
21	e2.movement$NS shadow 15 2 (19)
22	e2.r_stop pseudo-input 13 2 (20)
23	e1.location<0> latch 20 2 (21)
24	e1.location<0>$NS shadow 21 2 (22)
25	e1.buttons<1>$NS shadow 11 2 (23)
26	e1.buttons<1> latch 10 2 (24)
27	e1.location<1> latch 18 2 (25)
28	e1.location<1>$NS shadow 19 2 (26)
29	e1.direction latch 22 2 (27)
30	e1.direction$NS shadow 23 2 (28)
31	e2.open_next latch 31 2 (29)
32	e2.open_next$NS shadow 32 2 (30)
33	e2.random pseudo-input 0 2 (31)
34	e2.location<0> latch 48 2 (32)
35	e2.location<0>$NS shadow 49 2 (33)
36	e2.location<1> latch 46 2 (34)
37	e2.location<1>$NS shadow 47 2 (35)
38	e2.direction latch 35 2 (36)
39	e2.direction$NS shadow 36 2 (37)
40	e2.random_push<0> pseudo-input 45 2 (38)
41	e2.buttons<0>$NS shadow 44 2 (39)
42	e2.buttons<0> latch 43 2 (40)
43	e2.random_push<2> pseudo-input 37 2 (41)
44	e2.buttons<2>$NS shadow 40 2 (42)
45	e2.buttons<2> latch 39 2 (43)
46	e2.random_push<1> pseudo-input 38 2 (44)
47	e2.buttons<1>$NS shadow 42 2 (45)
48	e2.buttons<1> latch 41 2 (46)
49	e1.random_push<0> pseudo-input 30 2 (47)
50	e1.buttons<0>$NS shadow 29 2 (48)
51	e1.buttons<0> latch 28 2 (49)
52	e1.random_push<2> pseudo-input 27 2 (50)
53	e1.buttons<2>$NS shadow 26 2 (51)
54	e1.buttons<2> latch 25 2 (52)
55	main_control.locations<2><0>$NS shadow 59 2 (53)
56	main_control.locations<2><0> latch 58 2 (54)
57	main_control.locations<2><1> latch 54 2 (55)
58	main_control.locations<2><1>$NS shadow 55 2 (56)
59	main_control.direction<2> latch 50 2 (57)
60	main_control.direction<2>$NS shadow 51 2 (58)
61	main_control.random_up<1> pseudo-input 63 2 (59)
62	main_control.random_down<1> pseudo-input 65 2 (60)
63	e1.random_push<1> pseudo-input 12 2 (61)
64	main_control.direction<1>$NS shadow 53 2 (62)
65	main_control.direction<1> latch 52 2 (63)
66	main_control.locations<1><1> latch 56 2 (64)
67	main_control.locations<1><1>$NS shadow 57 2 (65)
68	main_control.random_down<0> pseudo-input 72 2 (66)
69	main_control.random_up<0> pseudo-input 79 2 (67)
70	main_control.locations<1><0>$NS shadow 61 2 (68)
71	main_control.locations<1><0> latch 60 2 (69)
72	main_control.random_up<2> pseudo-input 62 2 (70)
73	main_control.random_down<2> pseudo-input 64 2 (71)
74	main_control.down_floor_buttons<1> latch 68 2 (72)
75	main_control.down_floor_buttons<1>$NS shadow 69 2 (73)
76	main_control.down_floor_buttons<0>$NS shadow 71 2 (74)
77	main_control.down_floor_buttons<0> latch 70 2 (75)
78	main_control.down_floor_buttons<2> latch 66 2 (76)
79	main_control.down_floor_buttons<2>$NS shadow 67 2 (77)
80	main_control.up_floor_buttons<2> latch 73 2 (78)
81	main_control.up_floor_buttons<2>$NS shadow 74 2 (79)
82	main_control.up_floor_buttons<1> latch 75 2 (80)
83	main_control.up_floor_buttons<1>$NS shadow 76 2 (81)
84	main_control.up_floor_buttons<0>$NS shadow 78 2 (82)
85	main_control.up_floor_buttons<0> latch 77 2 (83)

Note: See TracBrowser for help on using the repository browser.

Download in other formats:

Original Format