pub struct EquivalenceChecker { /* private fields */ }Expand description
Quantum circuit equivalence checker using SciRS2 numerical methods
Implementations§
Source§impl EquivalenceChecker
impl EquivalenceChecker
Sourcepub const fn with_config(config: EquivalenceConfig) -> Self
pub const fn with_config(config: EquivalenceConfig) -> Self
Create a new equivalence checker with custom configuration
Sourcepub fn are_circuits_equivalent(
&self,
circuit1: &[QuantumGate],
circuit2: &[QuantumGate],
num_qubits: usize,
) -> Result<bool, QuantRS2Error>
pub fn are_circuits_equivalent( &self, circuit1: &[QuantumGate], circuit2: &[QuantumGate], num_qubits: usize, ) -> Result<bool, QuantRS2Error>
Check if two quantum circuits are equivalent
Sourcepub fn advanced_equivalence_check(
&self,
circuit1: &[QuantumGate],
circuit2: &[QuantumGate],
num_qubits: usize,
) -> Result<EquivalenceResult, QuantRS2Error>
pub fn advanced_equivalence_check( &self, circuit1: &[QuantumGate], circuit2: &[QuantumGate], num_qubits: usize, ) -> Result<EquivalenceResult, QuantRS2Error>
Advanced equivalence checking with phase and global phase analysis
Auto Trait Implementations§
impl !Freeze for EquivalenceChecker
impl RefUnwindSafe for EquivalenceChecker
impl Send for EquivalenceChecker
impl Sync for EquivalenceChecker
impl Unpin for EquivalenceChecker
impl UnwindSafe for EquivalenceChecker
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> 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.