The description to the selected gui elements are shown here

 

 

 

 

 

 

Window title bar
This strongly depends on the used window manager.

 

 

 

Button "Zoom in"
This enlarges the content of the polygon window by one step.

 

 

 

Button "Zoom out"
This shrinks the content of the polygon window by one step.

 

 

 

Button "Fit"
The content of the polygon window is scaled to fit in the window.

 

 

 

Polygon window
The unknown polygon (or parts of it) are shown here.
Red square: robots position, grey cell: unexplored, green cell: explored

 

 

 

Vertical scrollbar
Scroll the polygon window vertically.

 

 

 

Horizontal scrollbar
Scroll the polygon window horizontically.

 

 

 

Information window
Here some information about the polygon are shown (number of cells, edges, holes, steps et. al.), together with information about the strategy and counter strategy.

 

 

 

Selection of the strategy
Here one can choose the strategy to explore the polygon. A manual mode can be selected to allow the user to move the robot.

 

 

 

Selection of the counter strategy
Here the user can choose a counter strategy, that can work against an exploration strategy or against the user.

 

 

 

Button "Restart"
The strategy is reset and the robot is placed on the start cell in an unexplored polygon.

 

 

 

Button "Complete"
The whole exploration tour is shown.

 

 

 

All steps back
All steps are traced back.

 

 

 

One step back
The last step is traced back.

 

 

 

Button "Run"
The polygon is explored step by step with the selected speed.

 

 

 

One step
The robot makes one step according to the selected stategy.

 

 

 

All steps
All steps that are traced back are redone.

 

 

 

Speed Buttons
Here you can select the speed for the run mode.

 

 

 

Random polygon
This creates a random polygon.

 

 

 

Show all cells
If selected, always the whole polygon is shown.

 

 

 

Show known cells
If selecte, only those parts of the polygon are shown, that are known to the robot (that is, all cells that are explored or adjacent to explored cells

 

 

 

Show visited cells
If selected, only those parts of the polygon are shown that are already explored.

 

 

 

Holes possible
If selected, a randomly generated polygon contains obstacles (holes).

 

 

 

Go to editor
This switches to the polygon editor.