Opsis Screenshots
 
Screenshots
The first screenshot shows a typical editing screen in Opsis. In this screenshot, you can see a portion of the splay tree insertion algorithm. The vertical stack of states to the right shows one way we could have arrived at the current state. (The arrow in these states indicates a loop.) The horizontal list of states at the bottom shows where computation might end. The white region near the top is reserved for user comments.

[IMAGE]

The second screenshot shows the execution of the splay tree insertion algorithm on some sample input. Observe the double rotation performed in this segment of the execution history.

[IMAGE]
 
Amir Michail
Last modified: Sun Oct 4 19:21:10 PDT 1998