Struct timely::progress::subgraph::SubgraphBuilder
source · pub struct SubgraphBuilder<TOuter, TInner>{
pub name: String,
pub path: Rc<[usize]>,
/* private fields */
}
Expand description
A builder for interactively initializing a Subgraph
.
This collects all the information necessary to get a Subgraph
up and
running, and is important largely through its build
method which
actually creates a Subgraph
.
Fields§
§name: String
The name of this subgraph.
path: Rc<[usize]>
A sequence of integers uniquely identifying the subgraph.
Implementations§
source§impl<TOuter, TInner> SubgraphBuilder<TOuter, TInner>
impl<TOuter, TInner> SubgraphBuilder<TOuter, TInner>
sourcepub fn new_input(
&mut self,
shared_counts: Rc<RefCell<ChangeBatch<TInner>>>,
) -> Target
pub fn new_input( &mut self, shared_counts: Rc<RefCell<ChangeBatch<TInner>>>, ) -> Target
Allocates a new input to the subgraph and returns the target to that input in the outer graph.
sourcepub fn new_output(&mut self) -> Source
pub fn new_output(&mut self) -> Source
Allocates a new output from the subgraph and returns the source of that output in the outer graph.
sourcepub fn connect(&mut self, source: Source, target: Target)
pub fn connect(&mut self, source: Source, target: Target)
Introduces a dependence from the source to the target.
This method does not effect data movement, but rather reveals to the progress tracking infrastructure
that messages produced by source
should be expected to be consumed at target
.
sourcepub fn new_from(
path: Rc<[usize]>,
logging: Option<Logger>,
progress_logging: Option<ProgressLogger>,
name: &str,
) -> SubgraphBuilder<TOuter, TInner>
pub fn new_from( path: Rc<[usize]>, logging: Option<Logger>, progress_logging: Option<ProgressLogger>, name: &str, ) -> SubgraphBuilder<TOuter, TInner>
Creates a SubgraphBuilder
from a path of indexes from the dataflow root to the subgraph,
terminating with the local index of the new subgraph itself.
sourcepub fn allocate_child_id(&mut self) -> usize
pub fn allocate_child_id(&mut self) -> usize
Allocates a new child identifier, for later use.