Struct ActionDag 

pub struct ActionDag { /* private fields */ }

An ordered dependency graph over a program’s Actions.

Nodes preserve source order via ActionNode::ordinal; edges point from a definition (a let or measure binding, or a resolve of a selective block) to each consumer. Timing is not stored; compiler scheduling also uses graph topology.

Implementations

impl ActionDag

pub fn to_svg(&self) -> Result<String, BlockGraphError>

Renders the stored action DAG as a self-contained SVG.

Nodes retain source ordinals and complete action text. Solid arrows show classical variable dependencies, while dashed arrows show dependencies inferred from correlation support. Edge titles identify their reasons. Rendering does not derive missing dependencies or assign execution times. Call crate::BlockGraph::analyze_action_graph first for an analyzed view. The SVG uses the same layout as the physical IR dependency view.

Errors

Returns an error for invalid action syntax, unresolved names or a cycle. No geometry audit or stabilizer analysis is performed during rendering.

use bloq_graph::GalleryItem;
let source = GalleryItem::T.build();
let dag = source.analyze_action_graph()?;
let svg = dag.to_svg()?;
assert!(svg.contains("mzz"));

impl ActionDag

pub fn resolve_sites_for_measurement(&self, name: &str) -> Option<Vec<IVec3>>

Selective fills needed by this named readout, in coordinate order. Returns None when the measurement is not in this action graph.

pub fn from_actions(actions: &[Action]) -> Self

Builds the DAG from actions in source order, wiring dependency edges from each variable, measurement, or resolve definition to its uses.

pub fn inputs(&self) -> impl Iterator<Item = &str>

External Boolean names accepted by this action program.

pub fn ordered_nodes(&self) -> impl Iterator<Item = &ActionNode>

Iterates over nodes in source order.

pub fn dependencies( &self, ) -> impl Iterator<Item = (usize, usize, ActionDependency)> + '_

Iterates over dependency edges as (predecessor ordinal, consumer ordinal, reason).

pub const fn is_analyzed(&self) -> bool

Whether correlation-derived dependencies are current. An empty program has nothing to derive.

pub fn node_by_ordinal(&self, ordinal: usize) -> Option<&ActionNode>

Returns the node at the given source ordinal, if any.

pub fn depends_on(&self, node: &ActionNode, pred_ordinal: usize) -> bool

Returns whether node has a direct dependency edge from the action at pred_ordinal.

pub fn resolve_value_domain( &self, targets: &[IVec3], ) -> Result<ResolveValueDomain, BooleanResourceError>

Builds the exact distinct resolve-value domain at targets, following Let bindings. A reduced shared decision diagram avoids enumerating the measurement inputs; materializing the output domain can still be exponential when that many distinct tuples are genuinely reachable. A missing or cyclic resolve target has an empty domain.

Errors

Returns an error if Boolean construction or enumeration exceeds its budget.

pub fn resolve_value_domain_bounded( &self, targets: &[IVec3], limit: usize, ) -> Result<ResolveValueDomain, ResolveDomainError>

Builds the exact resolve-value domain when it contains at most limit distinct tuples.

Errors

Returns Boolean resource exhaustion or the first observed size above limit instead of truncating the domain.

pub fn resolve_value_domain_bounded_with_limits( &self, targets: &[IVec3], limit: usize, boolean_limits: BooleanLimits, ) -> Result<ResolveValueDomain, ResolveDomainError>

Query a bounded output domain with an explicit Boolean work/allocation budget.

Errors

Returns resource exhaustion or the first domain size above limit.

pub fn resolve_values_are_reachable( &self, targets: &[IVec3], values: &[bool], ) -> Result<bool, BooleanResourceError>

Whether values is jointly reachable for targets, decided symbolically without materializing the full output domain. Missing or cyclic targets and mismatched slice lengths are not reachable.

Errors

Returns an error if Boolean construction or evaluation exceeds its budget.

Trait Implementations

impl Clone for ActionDag

fn clone(&self) -> ActionDag

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ActionDag

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for ActionDag

fn default() -> ActionDag

Returns the “default value” for a type.