| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Striot.Partition
Synopsis
- allPartitions :: StreamGraph -> [[[Int]]]
Documentation
allPartitions :: StreamGraph -> [[[Int]]] Source #
Return a list of all possible valid partitionings of the StreamGraph.
A partitioning is a list of groupings of Ints corresponding to vertexIDs
for the StreamGraph.
A valid partitioning is any which does not violate the following constraints:
* only one Source or Sink node can exist in each partition
* Merge operators must be the first in their partition
The validity rules are encoded in the extendPartitioning function.