Function Disk Byte At

None

Format:

disk byte at index: i 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 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 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
  • 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
  • value of cell 48 at time t = 0

  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
  • 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 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 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
  • 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
  • byte at ID: c, cell #48 at time t = 0

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

  (link)

Comments

Please log in to add comments