Function Information describes loop

None

Format:

info describes a loop

Input:

variable info -

Output:

boolean - None

Properties that reference this function:

(pair ("while", x)) describes a loop = True (While is loop)
(pair ("if", x)) describes a loop = False (If is loop)
(trio ("for", line, ex)) describes a loop = True (For is loop)

Conditional properties that reference this function:

  • if the following are true:
    • the line at time t = i
    • the tab at time t = j
    • "break" state at t = "breaking"
    • value at (j - 1) in map (Control Map at time t) = control_value
    • control_value describes a loop = True

    then the line at time (t + 1) = i + 1

    (link)
  • if the following are true:
    • the line at time t = i
    • the tab at time t = j
    • "break" state at t = "breaking"
    • value at (j - 1) in map (Control Map at time t) = control_value
    • control_value describes a loop = True

    then "break" state at (t + 1) = "not_breaking"

    (link)
  • if the following are true:
    • the line at time t = i
    • the tab at time t = j
    • "break" state at t = "breaking"
    • value at (j - 1) in map (Control Map at time t) = control_value
    • control_value describes a loop = False

    then the line at time (t + 1) = i

    (link)
  • if the following are true:
    • the line at time t = i
    • the tab at time t = j
    • "break" state at t = "breaking"
    • value at (j - 1) in map (Control Map at time t) = control_value
    • control_value describes a loop = False

    then "break" state at (t + 1) = "breaking"

    (link)
  • if the following are true:
    • the line at time t = i
    • the tab at time t = j
    • "continue" state at t = "continuing"
    • value at (j - 1) in map (Control Map at time t) = control_value
    • control_value describes a loop = True

    then the line at time (t + 1) = while_line

    (link)
  • if the following are true:
    • the line at time t = i
    • the tab at time t = j
    • "continue" state at t = "continuing"
    • value at (j - 1) in map (Control Map at time t) = control_value
    • control_value describes a loop = True

    then "continue" state at (t + 1) = "not_continuing"

    (link)
  • if the following are true:
    • the line at time t = i
    • the tab at time t = j
    • "continue" state at t = "continuing"
    • value at (j - 1) in map (Control Map at time t) = control_value
    • control_value describes a loop = False

    then the line at time (t + 1) = i

    (link)
  • if the following are true:
    • the line at time t = i
    • the tab at time t = j
    • "continue" state at t = "continuing"
    • value at (j - 1) in map (Control Map at time t) = control_value
    • control_value describes a loop = False

    then "continue" state at (t + 1) = "continuing"

    (link)
  • if the following are true:
    • the line at time t = i
    • the tab at time t = j
    • "break" state at t = "breaking"
    • value at (j - 1) in map (Control Map at time t) = control_value
    • control_value describes a loop = True

    then the line at time (t + 1) = i + 1

    (link)
  • if the following are true:
    • the line at time t = i
    • the tab at time t = j
    • "break" state at t = "breaking"
    • value at (j - 1) in map (Control Map at time t) = control_value
    • control_value describes a loop = True

    then "break" state at (t + 1) = "not_breaking"

    (link)
  • if the following are true:
    • the line at time t = i
    • the tab at time t = j
    • "break" state at t = "breaking"
    • value at (j - 1) in map (Control Map at time t) = control_value
    • control_value describes a loop = False

    then the line at time (t + 1) = i

    (link)
  • if the following are true:
    • the line at time t = i
    • the tab at time t = j
    • "break" state at t = "breaking"
    • value at (j - 1) in map (Control Map at time t) = control_value
    • control_value describes a loop = False

    then "break" state at (t + 1) = "breaking"

    (link)
  • if the following are true:
    • the line at time t = i
    • the tab at time t = j
    • "continue" state at t = "continuing"
    • value at (j - 1) in map (Control Map at time t) = control_value
    • control_value describes a loop = True

    then the line at time (t + 1) = while_line

    (link)
  • if the following are true:
    • the line at time t = i
    • the tab at time t = j
    • "continue" state at t = "continuing"
    • value at (j - 1) in map (Control Map at time t) = control_value
    • control_value describes a loop = True

    then "continue" state at (t + 1) = "not_continuing"

    (link)
  • if the following are true:
    • the line at time t = i
    • the tab at time t = j
    • "continue" state at t = "continuing"
    • value at (j - 1) in map (Control Map at time t) = control_value
    • control_value describes a loop = False

    then the line at time (t + 1) = i

    (link)
  • if the following are true:
    • the line at time t = i
    • the tab at time t = j
    • "continue" state at t = "continuing"
    • value at (j - 1) in map (Control Map at time t) = control_value
    • control_value describes a loop = False

    then "continue" state at (t + 1) = "continuing"

    (link)


Comments

Please log in to add comments