Function Network Bytes Read At

None

Format:

network bytes read from computer: id at time t

Input:

any id -
number t -

Output:

number - None

Conditional properties that reference this function:

  • if the following are true:

    • byte at ID: x, cell #68 at time t = 1
    • byte at ID: x, cell #67 at time t = y_decimal
    • y in decimal = y_decimal
    • network bytes read from computer: x at time t < byte at ID: x, cell #66 at time t

    then byte at ID: y, cell #(50 + (network bytes read from computer: x at time t)) at time (t + 1) = byte at ID: x, cell #(50 + (network bytes read from computer: x at time t)) at time t

    (link)

  • if the following are true:

    • byte at ID: x, cell #68 at time t = 1
    • byte at ID: x, cell #67 at time t = y_decimal
    • y in decimal = y_decimal
    • network bytes read from computer: x at time t < byte at ID: x, cell #66 at time t

    then network bytes read from computer: x at time (t + 1) = (network bytes read from computer: x at time t) + 1

    (link)

  • if the following are true:

    • byte at ID: x, cell #68 at time t = 1
    • byte at ID: x, cell #67 at time t = y_decimal
    • y in decimal = y_decimal
    • network bytes read from computer: x at time t = byte at ID: x, cell #66 at time t

    then interrupt at computer: y index: 2 time: (t + 1) = 1

    (link)

  • if the following are true:

    • byte at ID: x, cell #68 at time t = 1
    • byte at ID: x, cell #67 at time t = y_decimal
    • y in decimal = y_decimal
    • network bytes read from computer: x at time t = byte at ID: x, cell #66 at time t

    then byte at ID: x, cell #68 at time (t + 1) = 0

    (link)

  • if the following are true:

    • byte at ID: x, cell #68 at time t = 1
    • byte at ID: x, cell #67 at time t = y_decimal
    • y in decimal = y_decimal
    • network bytes read from computer: x at time t = byte at ID: x, cell #66 at time t

    then network bytes read from computer: x at time (t + 1) = 0

    (link)

  • if the following are true:

    • byte at ID: x, cell #68 at time t = 1
    • byte at ID: x, cell #67 at time t = y_decimal
    • y in decimal = y_decimal
    • network bytes read from computer: x at time t = byte at ID: x, cell #66 at time t

    then byte at ID: y, cell #66 at time (t + 1) = byte at ID: x, cell #66 at time t

    (link)

  • if byte at ID: x, cell #68 at time t = 0, then network bytes read from computer: x at time (t + 1) = network bytes read from computer: x at time t

    (link)


Comments

Please log in to add comments