Variable | Enabling Range | State Transformation | Remarks |
---|---|---|---|
State of node 6(node6_state) | = 1 | not modified | Action occurs at full range of values! |
Number of packets dropped by node 6(node6_dropped) | = 0 | not modified | Action occurs at full range of values! |
Number of packets received by node 6(node6_received) | in {1,...,7} | not modified | |
Number of packets sent by node 6(node6_sent) | in {1,...,11} | 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! |