Variable | Enabling Range | State Transformation | Remarks |
---|---|---|---|
State of node 4(node4_state) | = 1 | not modified | Action occurs at full range of values! |
Number of packets dropped by node 4(node4_dropped) | = 0 | not modified | Action occurs at full range of values! |
Number of packets received by node 4(node4_received) | in {1,...,7} | not modified | |
Number of packets sent by node 4(node4_sent) | in {0,...,4} | v'=v+1 | |
The state of the link from node 3 to node 4(3L4_state) | = 1 | not modified | Action occurs at full range of values! |