7.2.4 protocol ¶

Syntax ¶

(protocol traversal ...)

or

(any traversal ...)

Description ¶

Try executing traversals, in order, until one succeeds (and then stop).

Examples ¶

"Try going forward, if that doesn’t work try going backward."

(symex-eval
  (symex-traversal
    (any (move forward)
         (move backward))))

"Try going forward and up, if that doesn’t work try going backward and down."

(symex-eval
  (symex-traversal
    (any (do (move forward)
             (move up))
         (do (move backward)
             (move down)))))