Function Disk Bytes Read At

None

Format:

disk bytes read at time t

Input:

Output:

Conditional properties that reference this function:

• if the following are true:

  • value of cell 49 at time t = 1
  • value of cell 48 at time t = 1
  • disk bytes read at time t < value of cell 46 at time t

  then disk byte at index: ((value of cell 47 at time t) + (disk bytes read at time t)) time: (t + 1) = value of cell (30 + (disk bytes read at time t)) at time t

  (link)

• if the following are true:

  • value of cell 49 at time t = 1
  • value of cell 48 at time t = 1
  • not (index = (value of cell 47 at time t) + (disk bytes read at time t))

  then disk byte at index: index time: (t + 1) = disk byte at index: index time: t

  (link)

• if the following are true:

  • value of cell 49 at time t = 1
  • disk bytes read at time t < value of cell 46 at time t

  then disk bytes read at time (t + 1) = (disk bytes read at time t) + 1

  (link)

• if the following are true:

  • value of cell 49 at time t = 1
  • disk bytes read at time t = value of cell 46 at time t

  then value of cell 49 at time (t + 1) = 0

  (link)

• if the following are true:

  • value of cell 49 at time t = 1
  • disk bytes read at time t = value of cell 46 at time t

  then disk bytes read at time (t + 1) = 0

  (link)

• if the following are true:

  • value of cell 49 at time t = 1
  • disk bytes read at time t = value of cell 46 at time t

  then disk byte at index: index time: (t + 1) = disk byte at index: index time: t

  (link)

• if value of cell 49 at time t = 0, then disk bytes read at time (t + 1) = disk bytes read at time t

  (link)

• if the following are true:

  • value of cell 49 at time t = 1
  • value of cell 48 at time t = 0
  • disk bytes read at time t < value of cell 46 at time t

  then value of cell (30 + (disk bytes read at time t)) at time (t + 1) = disk byte at index: ((value of cell 47 at time t) + (disk bytes read at time t)) time: t

  (link)

• if the following are true:

  • value of cell 49 at time t = 1
  • disk bytes read at time t = value of cell 46 at time t
  • value of cell 48 at time t = 0

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

  (link)

• if the following are true:

  • byte at ID: c, cell #49 at time t = 1
  • byte at ID: c, cell #48 at time t = 1
  • disk bytes read at time t < byte at ID: c, cell #46 at time t

  then disk byte at index: ((value of cell 47 at time t) + (disk bytes read at time t)) time: (t + 1) = value of cell (30 + (disk bytes read at time t)) at time t

  (link)

• if the following are true:

  • byte at ID: c, cell #49 at time t = 1
  • byte at ID: c, cell #48 at time t = 1
  • not (index = (byte at ID: c, cell #47 at time t) + (disk bytes read at time t))

  then disk byte at index: index time: (t + 1) = disk byte at index: index time: t

  (link)

• if the following are true:

  • byte at ID: c, cell #49 at time t = 1
  • disk bytes read at time t < byte at ID: c, cell #46 at time t

  then disk bytes read at time (t + 1) = (disk bytes read at time t) + 1

  (link)

• if the following are true:

  • byte at ID: c, cell #49 at time t = 1
  • disk bytes read at time t = byte at ID: c, cell #46 at time t

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

  (link)

• if the following are true:

  • byte at ID: c, cell #49 at time t = 1
  • disk bytes read at time t = byte at ID: c, cell #46 at time t

  then disk bytes read at time (t + 1) = 0

  (link)

• if the following are true:

  • byte at ID: c, cell #49 at time t = 1
  • disk bytes read at time t = byte at ID: c, cell #46 at time t

  then disk byte at index: index time: (t + 1) = disk byte at index: index time: t

  (link)

• if byte at ID: c, cell #49 at time t = 0, then disk bytes read at time (t + 1) = disk bytes read at time t

  (link)

• if the following are true:

  • byte at ID: c, cell #49 at time t = 1
  • byte at ID: c, cell #48 at time t = 0
  • disk bytes read at time t < byte at ID: c, cell #46 at time t

  then byte at ID: c, cell #(30 + (disk bytes read at time t)) at time (t + 1) = disk byte at index: ((byte at ID: c, cell #47 at time t) + (disk bytes read at time t)) time: t

  (link)

• if the following are true:

  • byte at ID: c, cell #49 at time t = 1
  • disk bytes read at time t = byte at ID: c, cell #46 at time t
  • byte at ID: c, cell #48 at time t = 0

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

  (link)

Comments

Please log in to add comments