Struct ConditionalCudaGraphSequenceBuilder 

pub struct ConditionalCudaGraphSequenceBuilder { /* private fields */ }

Builds one dependency-ordered parent graph containing ordinary captured segments and any number of conditional-WHILE nodes.

This is the topology required by stratified Datalog: work before a recursive strongly connected component executes once, only that component is placed in a device-controlled WHILE, and later strata depend on its completion. The finished value still launches through one cuGraphLaunch.

Implementations

impl ConditionalCudaGraphSequenceBuilder

pub fn new(stream: &CudaStream) -> Result<Self, CudaConditionalGraphUnavailable>

Create an empty parent graph bound to stream’s CUDA context.

pub fn capture_segment_on_stream<F, E>( &mut self, stream: &CudaStream, record: F, ) -> Result<(), CudaConditionalGraphUnavailable>

where F: FnOnce() -> Result<(), E>, E: Display,

Capture one ordinary graph segment after the current dependency frontier. The callback may enqueue only capture-compatible operations.

pub fn add_conditional_while<F>( &mut self, initial_value: u32, assign_default_on_launch: bool, populate_body: F, ) -> Result<CUgraphConditionalHandle, CudaConditionalGraphUnavailable>

where F: FnOnce(ConditionalCudaGraphBody) -> Result<(), CudaConditionalGraphUnavailable>,

Append one conditional-WHILE node after the current frontier.

pub fn instantiate( self, ) -> Result<CapturedCudaGraph, CudaConditionalGraphUnavailable>

Instantiate the complete parent graph exactly once.