pub struct CompilationValidator { /* private fields */ }Expand description
Compilation validator
Implementations§
Source§impl CompilationValidator
impl CompilationValidator
pub const fn new(config: EnhancedCrossCompilationConfig) -> Self
pub fn validate_compilation( &self, source: &SourceCircuit, target_code: &TargetCode, platform: TargetPlatform, ) -> QuantRS2Result<ValidationResult>
pub const fn validate_semantics( &self, _source: &SourceCircuit, _target: &TargetCode, ) -> QuantRS2Result<bool>
pub const fn validate_resources( &self, _target: &TargetCode, _platform: TargetPlatform, ) -> QuantRS2Result<bool>
pub const fn estimate_fidelity( &self, _source: &SourceCircuit, _target: &TargetCode, ) -> QuantRS2Result<f64>
Auto Trait Implementations§
impl Freeze for CompilationValidator
impl RefUnwindSafe for CompilationValidator
impl Send for CompilationValidator
impl Sync for CompilationValidator
impl Unpin for CompilationValidator
impl UnsafeUnpin for CompilationValidator
impl UnwindSafe for CompilationValidator
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
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
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
impl<T> Read<Exclusive, BecauseExclusive> for Twhere
T: ?Sized,
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.