| Checks if one tuple is the start subtuple of other tuple.
For instance, if we have two tuples:
T1 = [ a, b, c ]
T2 = [ a, b, c, d, e]
This constraint will evaluate to true as T1 is the starting subtuple
of T2. On the other hand, if we have:
T1 = [ a, c, b ]
T2 = [ a, b, c, d, e ]
This constraint will evaluate to false, as T1 is not the starting subtuple
of T2. Besides having the same elements, the order is different.
This constraint is used when joining subnetworks back into the main
network.
author:
etirelli |
