Question about Forward Iteration example in Scade One Student documentation (fil

[fdtsaid]

In the Scade One Student documentation (section Concepts and Explanations → Language Explanations → Forward Iteration → Forward Construct for Iterative Algorithms), the fill_from_K example appears to contain a minor  error in the forward body definition.

 

The tutorial explains that the counter oi should start at K and increment by 1 iteratively：

oi = K pre (oi + 1)

 

However, the documented example instead uses:

 

oi = K pre oi + 1

 

The original diagram in the document is :

 

The diagram may actually be:

[Romain Andrieux]

Hello,

I confirm this is a typo in the documentation. A correct implementation could be the one you've shown above.

Regards,

Romain