Variable | Enabling Range | State Transformation | Remarks |
---|---|---|---|
State of node 1(node1_state) | = 1 | not modified | Action occurs at full range of values! |
Number of packets dropped by node 1(node1_dropped) | = 0 | not modified | Action occurs at full range of values! |
Number of packets received by node 1(node1_received) | in {1,...,10} | not modified | |
Number of packets sent by node 1(node1_sent) | in {0,...,8} | v'=v+1 | |
The state of the link from node 0 to node 1(0L1_state) | = 1 | not modified | Action occurs at full range of values! |