Variable | Enabling Range | State Transformation | Remarks |
---|---|---|---|
State of node 3(node3_state) | = 1 | not modified | Action occurs at full range of values! |
Number of packets dropped by node 3(node3_dropped) | = 0 | not modified | Action occurs at full range of values! |
Number of packets received by node 3(node3_received) | in {1,...,5} | not modified | |
Number of packets sent by node 3(node3_sent) | in {1,...,9} | 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! |