Question about Forward Iteration example in Scade One Student documentation (fil
-
-
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:
-
Viewing 0 reply threads
- You must be logged in to reply to this topic.
You are navigating away from the AIS Discovery experience