pub struct ZXOptimizer { /* private fields */ }
Expand description
Advanced ZX-calculus optimizer with state-of-the-art optimization passes
Implementations§
Source§impl ZXOptimizer
impl ZXOptimizer
Sourcepub fn with_max_iterations(self, max_iterations: usize) -> Self
pub fn with_max_iterations(self, max_iterations: usize) -> Self
Set the maximum iterations
Sourcepub fn with_advanced(self, enable_advanced: bool) -> Self
pub fn with_advanced(self, enable_advanced: bool) -> Self
Enable or disable advanced optimization passes
Sourcepub fn with_verbose(self, verbose: bool) -> Self
pub fn with_verbose(self, verbose: bool) -> Self
Enable verbose output
Sourcepub fn with_tolerance(self, tolerance: f64) -> Self
pub fn with_tolerance(self, tolerance: f64) -> Self
Set numerical tolerance
Sourcepub fn optimize(&self, diagram: &mut ZXDiagram) -> usize
pub fn optimize(&self, diagram: &mut ZXDiagram) -> usize
Apply comprehensive optimization to a ZX-diagram
Sourcepub fn count_t_gates(&self, diagram: &ZXDiagram) -> usize
pub fn count_t_gates(&self, diagram: &ZXDiagram) -> usize
Count the number of T-gates equivalent in the diagram
Sourcepub fn estimate_depth(&self, diagram: &ZXDiagram) -> usize
pub fn estimate_depth(&self, diagram: &ZXDiagram) -> usize
Estimate the circuit depth of the diagram
Sourcepub fn optimize_circuit(
&self,
gates: &[Box<dyn GateOp>],
) -> QuantRS2Result<Vec<Box<dyn GateOp>>>
pub fn optimize_circuit( &self, gates: &[Box<dyn GateOp>], ) -> QuantRS2Result<Vec<Box<dyn GateOp>>>
Optimize a quantum circuit using ZX-calculus
Trait Implementations§
Source§impl Clone for ZXOptimizer
impl Clone for ZXOptimizer
Source§fn clone(&self) -> ZXOptimizer
fn clone(&self) -> ZXOptimizer
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moreSource§impl Debug for ZXOptimizer
impl Debug for ZXOptimizer
Auto Trait Implementations§
impl Freeze for ZXOptimizer
impl RefUnwindSafe for ZXOptimizer
impl Send for ZXOptimizer
impl Sync for ZXOptimizer
impl Unpin for ZXOptimizer
impl UnwindSafe for ZXOptimizer
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self
from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self
is actually part of its subset T
(and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset
but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self
to the equivalent element of its superset.