Struct ValidatedPlans 

pub struct ValidatedPlans { /* private fields */ }

Quantum emission stages keyed by scoped node address.

Static stages retain an exact emission plan. Conditional stages are marked for selected materialization. Only Bloq::validate_with_plans certifies their full Boolean domain; Bloq::emission_plans does not.

Implementations

impl ValidatedPlans

pub fn get( &self, path: &LevelPath, node: BloqNodeId, ) -> Option<&NodeEmissionPlan>

A static stage’s emission plan. Conditional stages use Self::has_membership.

pub fn has_membership(&self, path: &LevelPath, node: BloqNodeId) -> bool

Whether this conditional stage requires selected materialization.

pub fn iter( &self, ) -> impl Iterator<Item = ((&LevelPath, BloqNodeId), &NodeEmissionPlan)>

Every static ((path, node), plan) entry, in unspecified order.

pub fn len(&self) -> usize

The number of static and conditional quantum stages.

pub fn is_empty(&self) -> bool

Whether the program has no quantum-node plans.

Trait Implementations

impl Clone for ValidatedPlans

fn clone(&self) -> ValidatedPlans

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ValidatedPlans

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

Formats the value using the given formatter.

impl Default for ValidatedPlans

fn default() -> ValidatedPlans

Returns the “default value” for a type.