{"id":395033,"date":"2024-11-22T21:44:21","date_gmt":"2024-11-22T21:44:21","guid":{"rendered":"https:\/\/innovationspace.ansys.com\/forum\/forums\/topic\/the-reset-condition-issue-of-scade-example-in-scade-primer\/"},"modified":"2025-10-03T09:24:58","modified_gmt":"2025-10-03T09:24:58","slug":"the-reset-condition-issue-of-scade-example-in-scade-primer","status":"closed","type":"topic","link":"https:\/\/innovationspace.ansys.com\/forum\/forums\/topic\/the-reset-condition-issue-of-scade-example-in-scade-primer\/","title":{"rendered":"The “Reset condition” issue of scade example in Scade Primer"},"content":{"rendered":"

<div>In chapter 2.1.6 Operator instantiation<\/code> of Scade Primer<\/code>, there is a scade program as follows:<\/div><div> <\/div><div><\/code><\/div><div>const max: uint64 = 10;<\/div><div>node sigma (e:uint64) returns (sum:uint64)<\/div><div>let<\/div><div>&nbsp; sum = 0 -> e + pre sum;<\/div><div>tel&nbsp;<\/div><div>node sample() returns (s:uint64)<\/div><div>let<\/div><div>&nbsp; s = (restart sigma every (pre s > max))(count());<\/div><div>tel<\/div><div><\/code><\/code><\/div><div> <\/div><div>In line <\/div><div><\/code><\/div><div>s = (restart sigma every (pre s > max)) (count());<\/div><div><\/code><\/code><\/div><div> <\/div><div>Should pre s > max<\/code> be true -> (pre s > max)<\/code>? Because “the reset condition of restart-every cannot be delayed”. <\/div><\/p>\n","protected":false},"template":"","class_list":["post-395033","topic","type-topic","status-closed","hentry","topic-tag-scade-2"],"aioseo_notices":[],"aioseo_head":"\n\t\t\n\t\n\t\n\t\n\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t