Next:
The algorithm
Up:
SynDEx v6 TUTORIAL
Previous:
The adequation with constraints
 
Contents
Example 2
Subsections
The algorithm
Creation of the definition ``A''
Creation of the definition ``B''
To create the main algorithm definition
Add the operations ``i1'', ``i2'', ``o'' and ``B'' in the algorithm window
Julien Forget 2003-02-03