Enum ValueClassicalControlOp 

pub enum ValueClassicalControlOp {
    If {
        condition: ClassicalExpr,
        then_body: ValueControlBody,
        else_body: Option<ValueControlBody>,
    },
    While {
        condition: ClassicalExpr,
        body: ValueControlBody,
    },
    For {
        var: ClassicalVar,
        start: ClassicalExpr,
        stop: ClassicalExpr,
        step: ClassicalExpr,
        body: ValueControlBody,
    },
    Switch {
        target: ClassicalExpr,
        cases: Vec<ValueSwitchCase>,
        default: Option<ValueControlBody>,
    },
    Break,
    Continue,
}

A value-level classical control-flow operation.

This mirrors ClassicalControlOp but every nested body is a ValueControlBody containing ValueOperation entries with ParameterValue parameters. There are no CircuitParam::Index values anywhere in this tree.

Variants

Variant	Storage-IR equivalent
If	IfOp
While	WhileOp
For	ForOp
Switch	SwitchOp
Break	ClassicalControlOp::Break
Continue	ClassicalControlOp::Continue

Variants

If

Execute then_body when condition is true, optionally else_body when false.

condition must have type ClassicalType::Bool.

Fields

condition: ClassicalExpr

Boolean branch condition.

then_body: ValueControlBody

Body executed when the condition is true.

else_body: Option<ValueControlBody>

Optional body executed when the condition is false.

While

Repeat body while condition remains true.

condition must have type ClassicalType::Bool.

Fields

condition: ClassicalExpr

Boolean loop condition.

body: ValueControlBody

Body executed while the condition is true.

For

Iterate body over an unsigned half-open range [start, stop) with the given step.

var must have type ClassicalType::UInt. start, stop, and step must match var’s width.

Fields

var: ClassicalVar

Mutable unsigned loop variable.

start: ClassicalExpr

Inclusive initial value.

stop: ClassicalExpr

Exclusive upper bound.

step: ClassicalExpr

Non-zero iteration increment.

body: ValueControlBody

Loop body.

Switch

Select one body by matching target against exact case values.

target must have an unsigned integer type. Cases do not fall through.

Fields

target: ClassicalExpr

Unsigned expression matched against case values.

cases: Vec<ValueSwitchCase>

Exact-value cases in source order.

default: Option<ValueControlBody>

Optional default body.

Break

Exit the nearest enclosing loop or switch body.

Continue

Advance to the next iteration of the nearest enclosing loop.

Implementations

impl ValueClassicalControlOp

pub fn new_if( condition: ClassicalExpr, then_body: ValueControlBody, else_body: Option<ValueControlBody>, ) -> Result<Self, CircuitError>

Creates a validated if operation.

condition must have type ClassicalType::Bool.

pub fn new_while( condition: ClassicalExpr, body: ValueControlBody, ) -> Result<Self, CircuitError>

Creates a validated while operation.

condition must have type ClassicalType::Bool.

pub fn new_for( var: ClassicalVar, start: ClassicalExpr, stop: ClassicalExpr, step: ClassicalExpr, body: ValueControlBody, ) -> Result<Self, CircuitError>

Creates a validated unsigned range for operation.

var must be a UInt and start, stop, and step must match its width.

pub fn new_switch( target: ClassicalExpr, cases: Vec<ValueSwitchCase>, default: Option<ValueControlBody>, ) -> Result<Self, CircuitError>

Creates a validated exact-value switch operation.

target must be a UInt; every case value must fit its width and be unique.

pub fn used_qubits(&self) -> BTreeSet<Qubit>

Returns every qubit used by the operation’s nested control-flow bodies.

pub fn classical_var_reads(&self) -> Vec<ClassicalVar>

Returns the classical variables read by the controlling expressions.

pub fn classical_value_reads(&self) -> Vec<ClassicalValue>

Returns the immutable classical values read by the controlling expressions.

pub fn classical_writes(&self) -> Vec<ClassicalVar>

Returns the classical variables written by this operation.

Currently only For writes its loop variable.

pub fn has_measurement(&self) -> bool

Returns true if this control operation recursively contains measurement.

pub fn reads_value(&self, value: ClassicalValue) -> bool

Returns true if this control operation recursively reads value.

Trait Implementations

impl Clone for ValueClassicalControlOp

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ValueClassicalControlOp

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

Formats the value using the given formatter.

impl Display for ValueClassicalControlOp

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

Formats the value using the given formatter.

impl From<ValueClassicalControlOp> for ValueInstruction

fn from(op: ValueClassicalControlOp) -> Self

Converts to this type from the input type.

impl PartialEq for ValueClassicalControlOp

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for ValueClassicalControlOp