Struct InstantiationOptions

pub struct InstantiationOptions<'a> { /* private fields */ }

Expand description

Options applied after a node’s instances have been translated and, when needed, merged.

Implementations§

Materialize noise on the merged circuit.

Bound cumulative validation work and live predicate decision nodes.

Configured Boolean-analysis limits.

Trait Implementations§

Returns a duplicate of the value. Read more

Performs copy-assignment from source. Read more

Formats the value using the given formatter. Read more

Returns the “default value” for a type. Read more

Auto Trait Implementations§

Blanket Implementations§

Gets the TypeId of self. Read more

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

Returns the argument unchanged.

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

The resulting type after obtaining ownership.

Creates owned data from borrowed data, usually by cloning. Read more

Uses borrowed data to replace owned data, usually by cloning. Read more

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.

Struct InstantiationOptions Copy item path

Implementations§

impl<'a> InstantiationOptions<'a>

pub const fn noisy(noise: &'a NoiseModel) -> Self

pub const fn with_boolean_limits(self, limits: BooleanLimits) -> Self

pub const fn boolean_limits(self) -> BooleanLimits

Trait Implementations§

impl<'a> Clone for InstantiationOptions<'a>

fn clone(&self) -> InstantiationOptions<'a>

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

impl<'a> Copy for InstantiationOptions<'a>

impl<'a> Debug for InstantiationOptions<'a>

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

impl<'a> Default for InstantiationOptions<'a>

fn default() -> InstantiationOptions<'a>

Auto Trait Implementations§

impl<'a> Freeze for InstantiationOptions<'a>

impl<'a> RefUnwindSafe for InstantiationOptions<'a>

impl<'a> Send for InstantiationOptions<'a>

impl<'a> Sync for InstantiationOptions<'a>

impl<'a> Unpin for InstantiationOptions<'a>

impl<'a> UnsafeUnpin for InstantiationOptions<'a>

impl<'a> UnwindSafe for InstantiationOptions<'a>

Blanket Implementations§

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

fn type_id(&self) -> TypeId

impl<T, BorrowedSelf> BitwiseMutViaBorrow<BorrowedSelf> for Twhere T: BorrowMut<BorrowedSelf>, BorrowedSelf: BitwiseMut + ?Sized,

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 Bitswhere Bits: BorrowMut<BorrowedSelf> + ?Sized, Other: Borrow<BorrowedOther> + ?Sized, BorrowedSelf: Bitwise + BitwisePairMut<BorrowedOther> + ?Sized, BorrowedOther: Bitwise + ?Sized,

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 Twhere T: Borrow<BorrowedSelf> + ?Sized, Other: Borrow<BorrowedOther> + ?Sized, BorrowedSelf: Bitwise + BitwisePair<BorrowedOther> + ?Sized, BorrowedOther: Bitwise + ?Sized,

fn dot(&self, other: &Other) -> bool

fn and_weight(&self, other: &Other) -> usize

fn or_weight(&self, other: &Other) -> usize

fn xor_weight(&self, other: &Other) -> usize

impl<T, BorrowedSelf> BitwiseViaBorrow<BorrowedSelf> for Twhere T: Borrow<BorrowedSelf>, BorrowedSelf: Bitwise + ?Sized,

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>

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> 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>

Struct InstantiationOptions

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

impl<T, BorrowedSelf> BitwiseMutViaBorrow<BorrowedSelf> for T
where T: BorrowMut<BorrowedSelf>, BorrowedSelf: BitwiseMut + ?Sized,

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
where Bits: BorrowMut<BorrowedSelf> + ?Sized, Other: Borrow<BorrowedOther> + ?Sized, BorrowedSelf: Bitwise + BitwisePairMut<BorrowedOther> + ?Sized, BorrowedOther: Bitwise + ?Sized,

impl<T, Other, BorrowedSelf, BorrowedOther> BitwisePairViaBorrow<Other, BorrowedSelf, BorrowedOther> for T
where T: Borrow<BorrowedSelf> + ?Sized, Other: Borrow<BorrowedOther> + ?Sized, BorrowedSelf: Bitwise + BitwisePair<BorrowedOther> + ?Sized, BorrowedOther: Bitwise + ?Sized,

impl<T, BorrowedSelf> BitwiseViaBorrow<BorrowedSelf> for T
where T: Borrow<BorrowedSelf>, BorrowedSelf: Bitwise + ?Sized,

fn support<'a>(&'a self) -> impl SortedIterator
where BorrowedSelf: 'a,

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>,

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>,