Enum RegionNode 

pub enum RegionNode {
    RepeatUntilSuccess {
        body: SubGraph,
        restart_condition: ClassicalExpr,
        restart_source: Option<ValueRef>,
    },
}

A structured control-flow region.

Its interface is the body’s declared bit result and boundary bindings. Its predicate arrives on a Value edge; its body is a SubGraph over the same global template pool.

Variants

RepeatUntilSuccess

Region carrying a postselection/restart predicate. Execution retries a sandboxed body until its restart predicate is false, subject to a configured execution cap. Decoder results affect retries only through the explicit predicate; physical restart parities can abort an attempt early.

restart_condition reads incoming Value slots; unfed slots read the optional body-local restart_source. Constant predicates need no source. The body’s declared result remains independent of the restart predicate.

Fields

body: SubGraph

Retried body.

restart_condition: ClassicalExpr

Restart predicate.

restart_source: Option<ValueRef>

Optional body-local value feeding the predicate’s unfed slots. Absent when every predicate input is supplied by incoming edges; constant predicates need no source.

Implementations

impl RegionNode

pub fn bodies(&self) -> impl Iterator<Item = (BodySelector, &SubGraph)>

The region’s body subgraph.

pub fn bodies_mut( &mut self, ) -> impl Iterator<Item = (BodySelector, &mut SubGraph)>

The mutable mirror of Self::bodies.

pub fn kind_name(&self) -> &'static str

The region variant’s display name.

impl RegionNode

pub fn kind(&self) -> RegionKind

This region’s variant, without its payload.

Trait Implementations

impl Clone for RegionNode

fn clone(&self) -> RegionNode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RegionNode

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for RegionNode

fn deserialize<D: Deserializer<'de>>(deserializer: D) -> Result<Self, D::Error>

Deserialize this value from the given Serde deserializer.

impl Serialize for RegionNode

fn serialize<S: Serializer>(&self, serializer: S) -> Result<S::Ok, S::Error>

Serialize this value into the given Serde serializer.