ansys.scade.apitools.create.expression.create_mapfoldwi

ansys.scade.apitools.create.expression.create_mapfoldwi(size: EX, acc: EX, condition: EX, default: EX) → ET

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

Parameters

sizeEX

Number of iterations.

accEX

Number of accumulators.

conditionEX

Initial value of the iteration condition.

defaultEX

Default value of the iteration.

Returns

ET