607         bool report_changes;  member in led::led_body
614                   report_changes(r),  in led_body()
619                 if (state != undefined && report_changes) {  in operator ()()
633     bool report_changes;  member in led
641               report_changes(rc),  in led()
642               led_node(g, 1, led_body(state, label, report_changes)) {}  in led()
647               report_changes(src.report_changes),  in led()
648               led_node(src.my_graph, 1, led_body(state, label, report_changes)) {}  in led()
655         report_changes = src.report_changes;  in operator =()
683         bool& report_changes;  member in digit::digit_body
689                   report_changes(r) {  in digit_body()
706                 if (report_changes) {  in operator ()()
714     bool report_changes;  member in digit
718             : gate<4>(g, digit_body(state, label, report_changes)),  in digit()
721               report_changes(rc) {}  in digit()
723             : gate<4>(src.my_graph, digit_body(state, label, report_changes)),  in digit()
726               report_changes(src.report_changes) {}  in digit()
733         report_changes = src.report_changes;  in operator =()