connectorSortingPort

Connector used to force a particular ordering of equations and to pass information about satisfied requirements

Components

TypeNameDefaultDescription
Realdummy1
Realdummy2
RealstatusReturn 0 (Violated), 1 (Undecided), ... 2 (Satisfied)
RealoneReturn 1 (to calculate number of requirement blocks