Download B2ViSiDiA - User Manual

Contents
1 Software installation
2 B2ViSiDiA functionalities
2.1 Graphical User Interface . . .
2.1.1 Global view . . . . . .
2.1.2 Left menu and toolbars
2.1.3 Edition panel . . . . .
2.1.4 Console panel . . . . .
2.1.5 Translate panel . . . .
1
.
.
.
.
.
.
.
.
.
.
.
.
3 Developing your own algorithms
3.1 General considerations . . . . . .
3.2 Write an algorithm . . . . . . . .
3.2.1 The name . . . . . . . . .
3.2.2 Invariants . . . . . . . . .
3.2.3 Events . . . . . . . . . . .
3.3 Examples . . . . . . . . . . . . .
3.3.1 Spanning Tree in LC0 . .
3.3.2 3-coloring of a ring in LC1
3.4 Check . . . . . . . . . . . . . . .
3.5 Translate . . . . . . . . . . . . .
3.6 Run ViSiDiA . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3
3
3
4
5
5
5
.
.
.
.
.
.
.
.
.
.
.
7
7
8
8
8
9
12
12
13
15
15
16
A Install Java
17
A.1 Troubleshooting . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
A.1.1 GNU Java Compiler (GJC) . . . . . . . . . . . . . . . . . . . 17
A.1.2 OpenJDK . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
B B2Visidia language
19
iii