Struct ZXDiagram

pub struct ZXDiagram {
    pub spiders: FxHashMap<usize, Spider>,
    pub adjacency: FxHashMap<usize, Vec<(usize, EdgeType)>>,
    pub inputs: Vec<usize>,
    pub outputs: Vec<usize>,
    /* private fields */
}

ZX-diagram representation

Fields

spiders: FxHashMap<usize, Spider>

Spiders (nodes) in the diagram

adjacency: FxHashMap<usize, Vec<(usize, EdgeType)>>

Adjacency list representation of edges

inputs: Vec<usize>

Input boundary spiders (ordered by qubit)

outputs: Vec<usize>

Output boundary spiders (ordered by qubit)

Implementations

impl ZXDiagram

pub fn new() -> Self

Create a new empty ZX-diagram

pub fn add_spider(&mut self, spider_type: SpiderType, phase: f64) -> usize

Add a spider to the diagram

pub fn add_boundary(&mut self, qubit: QubitId, is_input: bool) -> usize

Add a boundary spider

pub fn add_edge(&mut self, source: usize, target: usize, edge_type: EdgeType)

Add an edge between two spiders

pub fn remove_edge(&mut self, source: usize, target: usize)

Remove an edge between two spiders

pub fn neighbors(&self, spider_id: usize) -> Vec<(usize, EdgeType)>

Get the neighbors of a spider

pub fn remove_spider(&mut self, spider_id: usize)

Remove a spider and its edges

pub fn degree(&self, spider_id: usize) -> usize

Get the degree (number of connections) of a spider

pub fn spider_fusion( &mut self, spider1: usize, spider2: usize, ) -> QuantRS2Result<()>

Apply spider fusion rule: two adjacent spiders of the same color merge

pub fn remove_identities(&mut self) -> usize

Apply identity removal: remove spiders with phase 0 and degree 2

pub fn color_change(&mut self, spider_id: usize) -> QuantRS2Result<()>

Apply color change rule: X and Z spiders connected by Hadamard become the same color

pub fn pi_copy(&mut self, spider_id: usize) -> QuantRS2Result<Vec<usize>>

Apply pi-copy rule: Pauli spider can be copied through

pub fn bialgebra( &mut self, z_spider: usize, x_spider: usize, ) -> QuantRS2Result<()>

Apply bialgebra rule

pub fn simplify(&mut self, max_iterations: usize) -> usize

Simplify the diagram by applying rewrite rules

pub fn to_dot(&self) -> String

Convert to GraphViz DOT format for visualization

Trait Implementations

impl Clone for ZXDiagram

fn clone(&self) -> ZXDiagram

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ZXDiagram

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

Formats the value using the given formatter.

impl Default for ZXDiagram

fn default() -> Self

Returns the “default value” for a type.