Variable | Enabling Range | State Transformation | Remarks |
---|---|---|---|
State of node 5(node5_state) | = 1 | not modified | Action occurs at full range of values! |
Number of packets dropped by node 5(node5_dropped) | = 0 | not modified | Action occurs at full range of values! |
Number of packets received by node 5(node5_received) | in {1,...,9} | not modified | |
Number of packets sent by node 5(node5_sent) | in {1,...,5} | v'=v+1 | |
The state of the link from node 5 to node 6(5L6_state) | = 1 | not modified | Action occurs at full range of values! |