pub struct LogicalVerifier { /* private fields */ }Expand description
Reusable symbolic ZX verifier for one static graph or a bounded family of reachable terminal-branch projections.
Implementations§
Source§impl LogicalVerifier
impl LogicalVerifier
Sourcepub fn boundaries(&self) -> &BoundaryOrder
pub fn boundaries(&self) -> &BoundaryOrder
The tensor boundary order used by this verifier.
Sourcepub fn new(source: &BlockGraph) -> Result<Self, VerifyLogicalError>
pub fn new(source: &BlockGraph) -> Result<Self, VerifyLogicalError>
Builds a symbolic verifier from explicit roles or temporal geometry.
crate::CancellationToken::run enables cooperative cancellation during
named-measurement normalization.
§Errors
Returns an error if graph conversion, boundaries, actions, or symbolic setup are invalid.
Sourcepub fn with_boundaries(
source: &BlockGraph,
boundaries: BoundaryOrder,
) -> Result<Self, VerifyLogicalError>
pub fn with_boundaries( source: &BlockGraph, boundaries: BoundaryOrder, ) -> Result<Self, VerifyLogicalError>
Builds a verifier with caller-specified tensor-axis and boundary order.
§Errors
Returns an error if the graph or supplied boundary order is invalid.
Sourcepub fn with_internal_measurements(
source: &BlockGraph,
) -> Result<Self, VerifyLogicalError>
pub fn with_internal_measurements( source: &BlockGraph, ) -> Result<Self, VerifyLogicalError>
Builds a verifier that samples unnamed boundary/joint measurements and materializes their terminal output-frame correction. Sampling and selective fills preserve the supplied named readout parities.
§Errors
Returns an error if the graph or its internal correction system is invalid.
Sourcepub fn with_boundaries_and_internal_measurements(
source: &BlockGraph,
boundaries: BoundaryOrder,
) -> Result<Self, VerifyLogicalError>
pub fn with_boundaries_and_internal_measurements( source: &BlockGraph, boundaries: BoundaryOrder, ) -> Result<Self, VerifyLogicalError>
Internal-measurement mode with caller-specified boundary order.
§Errors
Returns an error if the graph, boundaries, or internal correction system is invalid.
Sourcepub fn instantiate(
&self,
assignment: &BranchAssignment,
) -> Result<(LogicalBranch, Option<QuizxGraph>), VerifyLogicalError>
pub fn instantiate( &self, assignment: &BranchAssignment, ) -> Result<(LogicalBranch, Option<QuizxGraph>), VerifyLogicalError>
Instantiates a deterministic assignment. Rejected branches have no diagram.
§Errors
Returns an error for missing values or an invalid reachable branch.
Sourcepub fn sample<R: Rng + ?Sized>(
&self,
rng: &mut R,
) -> Result<(LogicalBranch, Option<QuizxGraph>), VerifyLogicalError>
pub fn sample<R: Rng + ?Sized>( &self, rng: &mut R, ) -> Result<(LogicalBranch, Option<QuizxGraph>), VerifyLogicalError>
Samples external inputs and measurements, then instantiates one branch.
§Errors
Returns an error if the sampled branch cannot be instantiated.
Sourcepub fn sample_with_seed(
&self,
seed: u64,
) -> Result<(LogicalBranch, Option<QuizxGraph>), VerifyLogicalError>
pub fn sample_with_seed( &self, seed: u64, ) -> Result<(LogicalBranch, Option<QuizxGraph>), VerifyLogicalError>
Samples one reproducible branch.
§Errors
Returns an error if the sampled branch cannot be instantiated.
Sourcepub fn verify_branch(
&self,
expected: &QuizxGraph,
assignment: &BranchAssignment,
) -> Result<LogicalBranch, VerifyLogicalError>
pub fn verify_branch( &self, expected: &QuizxGraph, assignment: &BranchAssignment, ) -> Result<LogicalBranch, VerifyLogicalError>
Verifies one caller-supplied assignment against expected.
§Errors
Returns an arity, assignment, zero-map, or logical-mismatch error.
Sourcepub fn verify(
&self,
expected: &QuizxGraph,
samples: usize,
seed: u64,
) -> Result<LogicalVerificationReport, VerifyLogicalError>
pub fn verify( &self, expected: &QuizxGraph, samples: usize, seed: u64, ) -> Result<LogicalVerificationReport, VerifyLogicalError>
Verifies random measurement assignments from a stable seed.
§Errors
Returns an arity, sampling, zero-map, or logical-mismatch error.
Trait Implementations§
Source§impl Clone for LogicalVerifier
impl Clone for LogicalVerifier
Source§fn clone(&self) -> LogicalVerifier
fn clone(&self) -> LogicalVerifier
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreAuto Trait Implementations§
impl !Freeze for LogicalVerifier
impl !RefUnwindSafe for LogicalVerifier
impl !UnwindSafe for LogicalVerifier
impl Send for LogicalVerifier
impl Sync for LogicalVerifier
impl Unpin for LogicalVerifier
impl UnsafeUnpin for LogicalVerifier
Blanket Implementations§
§impl<T, BorrowedSelf> BitwiseMutViaBorrow<BorrowedSelf> for T
impl<T, BorrowedSelf> BitwiseMutViaBorrow<BorrowedSelf> for T
fn assign_index(&mut self, index: usize, to: bool)
fn negate_index(&mut self, index: usize)
fn clear_bits(&mut self)
fn assign_random(
&mut self,
bit_count: usize,
random_number_generator: &mut impl RngExt,
)where
BorrowedSelf: BitLength,
§impl<Bits, Other, BorrowedSelf, BorrowedOther> BitwisePairMutViaBorrow<Other, BorrowedSelf, BorrowedOther> for Bits
impl<Bits, Other, BorrowedSelf, BorrowedOther> BitwisePairMutViaBorrow<Other, BorrowedSelf, BorrowedOther> for Bits
fn assign(&mut self, other: &Other)
fn bitxor_assign(&mut self, other: &Other)
fn bitand_assign(&mut self, other: &Other)
fn bitor_assign(&mut self, other: &Other)
§impl<T, Other, BorrowedSelf, BorrowedOther> BitwisePairViaBorrow<Other, BorrowedSelf, BorrowedOther> for T
impl<T, Other, BorrowedSelf, BorrowedOther> BitwisePairViaBorrow<Other, BorrowedSelf, BorrowedOther> for T
§impl<T, BorrowedSelf> BitwiseViaBorrow<BorrowedSelf> for T
impl<T, BorrowedSelf> BitwiseViaBorrow<BorrowedSelf> for T
fn index(&self, index: usize) -> bool
fn weight(&self) -> usize
fn parity(&self) -> bool
fn is_zero(&self) -> bool
fn is_unit(&self, index: usize) -> bool
fn support<'a>(&'a self) -> impl SortedIteratorwhere
BorrowedSelf: 'a,
fn max_support(&self) -> Option<usize>
fn min_support(&self) -> Option<usize>
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
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
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> ⓘ
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> ⓘ
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 more§impl<'src, T> IntoMaybe<'src, T> for Twhere
T: 'src,
impl<'src, T> IntoMaybe<'src, T> for Twhere
T: 'src,
impl<T> OrderedSeq<'_, T> for Twhere
T: Clone,
§impl<T> Paint for Twhere
T: ?Sized,
impl<T> Paint for Twhere
T: ?Sized,
§fn fg(&self, value: Color) -> Painted<&T>
fn fg(&self, value: Color) -> Painted<&T>
Returns a styled value derived from self with the foreground set to
value.
This method should be used rarely. Instead, prefer to use color-specific
builder methods like red() and
green(), which have the same functionality but are
pithier.
§Example
Set foreground color to white using fg():
use yansi::{Paint, Color};
painted.fg(Color::White);Set foreground color to white using white().
use yansi::Paint;
painted.white();§fn bright_black(&self) -> Painted<&T>
fn bright_black(&self) -> Painted<&T>
§fn bright_red(&self) -> Painted<&T>
fn bright_red(&self) -> Painted<&T>
§fn bright_green(&self) -> Painted<&T>
fn bright_green(&self) -> Painted<&T>
§fn bright_yellow(&self) -> Painted<&T>
fn bright_yellow(&self) -> Painted<&T>
§fn bright_blue(&self) -> Painted<&T>
fn bright_blue(&self) -> Painted<&T>
§fn bright_magenta(&self) -> Painted<&T>
fn bright_magenta(&self) -> Painted<&T>
§fn bright_cyan(&self) -> Painted<&T>
fn bright_cyan(&self) -> Painted<&T>
§fn bright_white(&self) -> Painted<&T>
fn bright_white(&self) -> Painted<&T>
§fn bg(&self, value: Color) -> Painted<&T>
fn bg(&self, value: Color) -> Painted<&T>
Returns a styled value derived from self with the background set to
value.
This method should be used rarely. Instead, prefer to use color-specific
builder methods like on_red() and
on_green(), which have the same functionality but
are pithier.
§Example
Set background color to red using fg():
use yansi::{Paint, Color};
painted.bg(Color::Red);Set background color to red using on_red().
use yansi::Paint;
painted.on_red();§fn on_primary(&self) -> Painted<&T>
fn on_primary(&self) -> Painted<&T>
§fn on_magenta(&self) -> Painted<&T>
fn on_magenta(&self) -> Painted<&T>
§fn on_bright_black(&self) -> Painted<&T>
fn on_bright_black(&self) -> Painted<&T>
§fn on_bright_red(&self) -> Painted<&T>
fn on_bright_red(&self) -> Painted<&T>
§fn on_bright_green(&self) -> Painted<&T>
fn on_bright_green(&self) -> Painted<&T>
§fn on_bright_yellow(&self) -> Painted<&T>
fn on_bright_yellow(&self) -> Painted<&T>
§fn on_bright_blue(&self) -> Painted<&T>
fn on_bright_blue(&self) -> Painted<&T>
§fn on_bright_magenta(&self) -> Painted<&T>
fn on_bright_magenta(&self) -> Painted<&T>
§fn on_bright_cyan(&self) -> Painted<&T>
fn on_bright_cyan(&self) -> Painted<&T>
§fn on_bright_white(&self) -> Painted<&T>
fn on_bright_white(&self) -> Painted<&T>
§fn attr(&self, value: Attribute) -> Painted<&T>
fn attr(&self, value: Attribute) -> Painted<&T>
Enables the styling [Attribute] value.
This method should be used rarely. Instead, prefer to use
attribute-specific builder methods like bold() and
underline(), which have the same functionality
but are pithier.
§Example
Make text bold using attr():
use yansi::{Paint, Attribute};
painted.attr(Attribute::Bold);Make text bold using using bold().
use yansi::Paint;
painted.bold();§fn rapid_blink(&self) -> Painted<&T>
fn rapid_blink(&self) -> Painted<&T>
§fn quirk(&self, value: Quirk) -> Painted<&T>
fn quirk(&self, value: Quirk) -> Painted<&T>
Enables the yansi [Quirk] value.
This method should be used rarely. Instead, prefer to use quirk-specific
builder methods like mask() and
wrap(), which have the same functionality but are
pithier.
§Example
Enable wrapping using .quirk():
use yansi::{Paint, Quirk};
painted.quirk(Quirk::Wrap);Enable wrapping using wrap().
use yansi::Paint;
painted.wrap();§fn clear(&self) -> Painted<&T>
👎Deprecated since 1.0.1: renamed to resetting() due to conflicts with Vec::clear().
The clear() method will be removed in a future release.
fn clear(&self) -> Painted<&T>
renamed to resetting() due to conflicts with Vec::clear().
The clear() method will be removed in a future release.
§fn whenever(&self, value: Condition) -> Painted<&T>
fn whenever(&self, value: Condition) -> Painted<&T>
Conditionally enable styling based on whether the [Condition] value
applies. Replaces any previous condition.
See the crate level docs for more details.
§Example
Enable styling painted only when both stdout and stderr are TTYs:
use yansi::{Paint, Condition};
painted.red().on_yellow().whenever(Condition::STDOUTERR_ARE_TTY);§impl<T> Pointable for T
impl<T> Pointable for T
impl<T> Read<Exclusive, BecauseExclusive> for Twhere
T: ?Sized,
§impl<'p, T> Seq<'p, T> for Twhere
T: Clone,
impl<'p, T> Seq<'p, T> for Twhere
T: Clone,
§type Iter<'a> = Once<&'a T>
where
T: 'a
type Iter<'a> = Once<&'a T> where T: 'a
§fn contains(&self, val: &T) -> boolwhere
T: PartialEq,
fn contains(&self, val: &T) -> boolwhere
T: PartialEq,
§fn to_maybe_ref<'b>(item: <T as Seq<'p, T>>::Item<'b>) -> Maybe<T, &'p T>where
'p: 'b,
fn to_maybe_ref<'b>(item: <T as Seq<'p, T>>::Item<'b>) -> Maybe<T, &'p T>where
'p: 'b,
MaybeRef].