ansys.scade.apitools.create.expression.create_foldw

ansys.scade.apitools.create.expression.create_foldw(size: EX, condition: EX) → ET

Return the expression tree for the higher-order construct for foldw creation.

Parameters

sizeEX

Number of iterations.

conditionEX

Initial value of the iteration condition.

Returns

ET