115             toggle input0(g);  in main()  local
119             make_edge(input0.get_out(), input_port<0>(a));  in main()
126             input0.activate(); // 0 0  in main()
131             input0.flip(); // 0 1  in main()
137             input0.flip(); // 1 0  in main()
142             input0.flip(); // 1 1  in main()
151             toggle input0(g);  in main()  local
156             make_edge(input0.get_out(), input_port<0>(o));  in main()
165             input0.activate(); // 0 0 0  in main()
170             input0.flip(); // 0 0 1  in main()
176             input0.flip(); // 0 1 0  in main()
189             input0.flip(); // 0 1 1  in main()
201             input0.flip(); // 1 1 0  in main()
206             input0.flip(); // 1 1 1  in main()
215             toggle input0(g);  in main()  local
219             make_edge(input0.get_out(), input_port<0>(x));  in main()
226             input0.activate(); // 0 0  in main()
231             input0.flip(); // 0 1  in main()
237             input0.flip(); // 1 0  in main()
242             input0.flip(); // 1 1  in main()
251             toggle input0(g);  in main()  local
255             make_edge(input0.get_out(), input_port<0>(n));  in main()
262             input0.activate(); // 0 0  in main()
267             input0.flip(); // 0 1  in main()
273             input0.flip(); // 1 0  in main()
278             input0.flip(); // 1 1  in main()
286             steady_signal input0(g, high);  in main()  local
294             make_edge(input0.get_out(), input_port<0>(a));  in main()
298             make_edge(input0.get_out(), input_port<0>(o));  in main()
302             make_edge(input0.get_out(), input_port<0>(x));  in main()
306             make_edge(input0.get_out(), input_port<0>(n));  in main()
312             input0.activate(); // 1  in main()