Struct CircuitVerificationResult

Source

pub struct CircuitVerificationResult {
    pub overall_verdict: VerificationVerdict,
    pub verification_time: Duration,
    pub formal_verification: Option<FormalVerificationResult>,
    pub unitarity_verification: Option<UnitarityResult>,
    pub commutativity_analysis: Option<CommutativityResult>,
    pub symbolic_verification: Option<SymbolicVerificationResult>,
    pub error_bound_analysis: Option<ErrorBoundResult>,
    pub correctness_certification: Option<CorrectnessResult>,
    pub scirs2_enhancements: SciRS2VerificationEnhancements,
    pub verification_confidence: f64,
}

Expand description

Supporting data structures and enums

Fields§

§overall_verdict: VerificationVerdict§verification_time: Duration§formal_verification: Option<FormalVerificationResult>§unitarity_verification: Option<UnitarityResult>§commutativity_analysis: Option<CommutativityResult>§symbolic_verification: Option<SymbolicVerificationResult>§error_bound_analysis: Option<ErrorBoundResult>§correctness_certification: Option<CorrectnessResult>§scirs2_enhancements: SciRS2VerificationEnhancements§verification_confidence: f64

CircuitVerificationResult

Struct CircuitVerificationResult Copy item path

Fields§

Trait Implementations§

impl Clone for CircuitVerificationResult

fn clone(&self) -> CircuitVerificationResult

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

impl Debug for CircuitVerificationResult

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

Auto Trait Implementations§

impl Freeze for CircuitVerificationResult

impl RefUnwindSafe for CircuitVerificationResult

impl Send for CircuitVerificationResult

impl Sync for CircuitVerificationResult

impl Unpin for CircuitVerificationResult

impl UnwindSafe for CircuitVerificationResult

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where F: FnOnce(&Self) -> bool,

impl<T> Pointable for T

const ALIGN: usize

type Init = T

unsafe fn init(init: <T as Pointable>::Init) -> usize

unsafe fn deref<'a>(ptr: usize) -> &'a T

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

unsafe fn drop(ptr: usize)

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<V, T> VZip<V> for Twhere V: MultiLane<T>,

fn vzip(self) -> V

Struct CircuitVerificationResult

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

impl<T, U> Into<U> for T
where U: From<T>,

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

impl<T> ToOwned for T
where T: Clone,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

impl<V, T> VZip<V> for T
where V: MultiLane<T>,