Module timely::progress::nested [−] [src]

Coordination of progress information between a scope-as-operator and its children operators.

Reexports

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;

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 `Operate` for a scoped collection of child operators.
summary	Path summaries that are either child local, or leave the scope and re-enter from the parent.