Module timely::progress::nested [−][src]
Coordination of progress information between a scope-as-operator and its children operators.
Re-exports
pub use self::subgraph::Subgraph; |
pub use self::subgraph::SubgraphBuilder; |
pub use self::subgraph::Source; |
pub use self::subgraph::Target; |
pub use self::summary::Summary; |
Modules
| pointstamp_counter |
Manages pointstamp counts (timestamp, location) within a sub operator. |
| product |
A pair timestamp suitable for use with the product partial order. |
| reachability |
Manages pointstamp reachability within a graph. |
| reachability_neu |
Manages pointstamp reachability within a graph. |
| subgraph |
Implements |
| summary |
Path summaries that are either child local, or leave the scope and re-enter from the parent. |