digraph structs { node [shape=record]; subgraph feedScale1 { button4 [shape=record,label=" button4|state"]; button6 [shape=record,label=" button6|state"]; flop1 [shape=record,label=" flop1| reset| set| Scalar1"]; mux2_1 [shape=record,label=" mux2| input| ScaleValue2"]; button4:o10 -> flop1:i30; button6:o20 -> flop1:i31; flop1:o30 -> mux2_1:i40; } subgraph feedScale1 { floodIsOn [shape=record,label="floodIsOn|status"]; not210 [shape=record,label="not1| in| out"]; and2_0 [shape=record,label="and2_0| in0| in1| and2_0.out"]; and2_1 [shape=record,label="and2_0| in0| in1| and2_0.out"]; button7 [shape=record,label="button7| val"]; floodOn [shape=record,label="floodOn| in"]; floodOff [shape=record,label="floodOff| in"]; button7:button7_val -> and2_0:and2_0_in0; button7:button7_val -> and2_1:and2_1_in0; floodIsOn:floodIsOn_status -> and2_0:and2_0_in1; floodIsOn:floodIsOn_status -> not210:not210_in; not210:not210_out -> and2_1:and2_1_in1; and2_0:and2_0_out -> floodOn:floodOn_in; and2_1:and2_1_out -> floodOff:floodOff_in; } }