Variable | Enabling Range | State Transformation | Remarks |
---|---|---|---|
The state of the link from node 2 to node 3(2L3_state) | = 1 | not modified | Action occurs at full range of values! |
State of node 2(node2_state) | = 1 | not modified | Action occurs at full range of values! |
Number of packets dropped by node 2(node2_dropped) | = 0 | not modified | Action occurs at full range of values! |
Number of packets received by node 2(node2_received) | in {2,...,8} | v'=v+1 | |
Number of packets sent by node 2(node2_sent) | in {4,...,10} | not modified |