Modifier and Type | Method and Description |
---|---|
PartitionFacade |
StateVertexFacade.getPartition()
The partition (if any) to which this vertex belongs.
|
Modifier and Type | Method and Description |
---|---|
Collection<PartitionFacade> |
ActivityGraphFacade.getPartitions()
The set of partitions contained in this activity graph.
|
Copyright © 2003–2014 AndroMDA.org. All rights reserved.