Struct ZXGraph 

pub struct ZXGraph { /* private fields */ }

A ZX-calculus graph derived from a BlockGraph.

Nodes and edges use dense integer ids; the graph carries the source action DAG so measurement and resolve sites can be located by position. It is the input to stabilizer computation and output-correction analysis.

Implementations

impl ZXGraph

pub fn nodes(&self) -> &[ZXNode]

Returns all nodes.

pub fn edges(&self) -> &[ZXEdge]

Returns all edges.

pub fn neighbors(&self, node_id: usize) -> Option<&[usize]>

Returns the neighbor node ids of node_id, if the node exists.

pub fn edge_id(&self, n1: usize, n2: usize) -> Option<usize>

Returns the id of the edge between nodes n1 and n2, if any.

pub fn total_ids(&self) -> usize

Returns the total number of node and edge ids, which share one id space.

pub fn node_at(&self, pos: IVec3) -> Option<&ZXNode>

Returns the node at pos, if any.

pub fn z_layers(&self) -> Vec<i32>

Returns the sorted, deduplicated set of occupied time layers.

pub fn layer(&self, z: i32) -> ZXLayerView

Returns a read-only view of the time layer at z.

pub fn action_graph(&self) -> &ActionDag

Returns the action DAG carried over from the source graph.

pub fn actions(&self) -> Vec<Action>

Returns the actions in ordinal order.

pub fn measurement_column(&self, target: &MeasureTarget) -> Option<usize>

Returns the stabilizer-table column (node or edge id) that a measurement target observes, if it maps to a graph element.

pub fn measurement_columns(&self) -> HashMap<String, usize>

Returns a map from each measurement variable name to its column id.

pub fn is_clifford_computation(&self) -> bool

Returns whether the graph is Clifford (contains no T nodes).

pub fn edge_between(&self, n1: usize, n2: usize) -> Option<&ZXEdge>

Returns the edge between nodes n1 and n2, if any.

pub fn output_ports(&self) -> Vec<IVec3>

Returns the sorted output-port positions.

pub fn validate_for_program(&self) -> Result<(), ZXError>

Validates that every measurement and resolve action targets a legal ZX site with a resolved observable, as required before program lowering.

Errors

Returns a ZXError describing the first invalid measurement or resolve action.

pub fn materialize_stabilizer(&self, ps: PauliString) -> Stabilizer

Rebuild cross centers before materializing a dense row.

pub fn materialize_stabilizer_with_sign( &self, ps: PauliString, sign: bool, ) -> Stabilizer

Rebuild cross centers while preserving an already-derived sign.

pub fn is_open(&self) -> bool

Returns whether the graph has any open port node.

pub fn stabilizers(&self) -> Result<StabilizerGenerators, StabilizerError>

Computes generators from the external table for both open and closed graphs under ModuleCertificationLimits::DEFAULT. An affine fallback follows the deterministic path within the same search budget.

Errors

Returns a StabilizerError if the stabilizer table cannot be derived, or cancellation when run inside crate::CancellationToken::run.

pub fn stabilizers_with_limits( &self, limits: ModuleCertificationLimits, ) -> Result<StabilizerGenerators, StabilizerError>

Computes generators under explicit certification limits.

Errors

Returns a StabilizerError for unavailable surfaces or exhausted search, matrix, or selective-domain resources, or request cancellation.

Trait Implementations

impl Clone for ZXGraph

fn clone(&self) -> ZXGraph

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ZXGraph

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

Formats the value using the given formatter.

impl TryFrom<&BlockGraph> for ZXGraph

type Error = ZXError

The type returned in the event of a conversion error.

fn try_from(graph: &BlockGraph) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<&ZXGraph> for BlockGraph

type Error = ZXError

The type returned in the event of a conversion error.

fn try_from(value: &ZXGraph) -> Result<Self, Self::Error>

Performs the conversion.