606         std::string& label;  member in led::led_body
613                   label(l),  in led_body()
621                         printf("%s: (*)\n", label.c_str());  in operator ()()
623                         printf("%s: ( )\n", label.c_str());  in operator ()()
631     std::string label;  member in led
639               label(l),  in led()
642               led_node(g, 1, led_body(state, label, report_changes)) {}  in led()
645               label(src.label),  in led()
648               led_node(src.my_graph, 1, led_body(state, label, report_changes)) {}  in led()
653         label = src.label;  in operator =()
663             printf("%s: (*)\n", label.c_str());  in display()
665             printf("%s: ( )\n", label.c_str());  in display()
667             printf("%s: (u)\n", label.c_str());  in display()
682         std::string& label;  member in digit::digit_body
688                   label(l),  in digit_body()
707                     printf("%s: %x\n", label.c_str(), state);  in operator ()()
712     std::string label;  member in digit
718             : gate<4>(g, digit_body(state, label, report_changes)),  in digit()
719               label(l),  in digit()
723             : gate<4>(src.my_graph, digit_body(state, label, report_changes)),  in digit()
724               label(src.label),  in digit()
731         label = src.label;  in operator =()
737         printf("%s: %x\n", label.c_str(), state);  in display()