Related content
Previous snippet
7.11.2.6 ExpansionNode
[2] fuml_expansion_node_no_crossing_edges
Edges may not cross into or out of an expansion region.
self.edge->forAll(self.node->includes(source) and self.node→includes(target))
7.11.2.6 ExpansionNode
[2] fuml_expansion_node_no_crossing_edges
Edges may not cross into or out of an expansion region.
self.edge->forAll(self.node->includes(source) and self.node→includes(target))