R1165 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1165 / 1:Mc

Set Action takes input b as exactly one Non Scalar Flow

Non Scalar Flow is input b to zero, one or many Set Action

---

All Set Actions take exactly two Non Scalar Flow inputs that we'll call a and b, a via R1157 and b here.

In some cases that a,b inputs are commutative. They can be combined a,b or b,a with the same output.

This is not the case for the join and subtract operations.

A Non Scalar Flow may or may not provide b input to any number of Set Actions.