Next: Bibliography
Up: SLs: User's Guide (Still
Previous: Example of a session
Figures 1, 2, 3,
4and 5 at the
end of the document show some snapshots of the graphical interface.
Figure 1:
Operations on the current term and the current automaton
| 0.60
snapshot1.eps
|
Figure 2:
Boolean operations on automata
| 0.60
snapshot2.eps
|
Figure 3:
Call by need queries
| 0.60
snapshot3.eps
|
Figure 4:
Call by need queries
| 0.60
snapshot4.eps
|
Figure 5:
Call by need queries
| 0.60
snapshot5.eps
|
Irene DURAND
2007-07-10