[−][src]Struct bm::ProvingState
Proving state.
Fields
proofs: Map<V, (V, V)>
Proofs required for operations.
inserts: Set<V>
Inserts of operations, which do not go into the proof.
Trait Implementations
impl<V: Clone + Eq + Hash + Ord> Clone for ProvingState<V>
[src]
fn clone(&self) -> ProvingState<V>
[src]
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Performs copy-assignment from source
. Read more
impl<V: Eq + Hash + Ord> Default for ProvingState<V>
[src]
impl<V: Eq + Hash + Ord> From<ProvingState<V>> for Proofs<V>
[src]
fn from(state: ProvingState<V>) -> Self
[src]
impl<V: PartialEq + Eq + Hash + Ord> PartialEq<ProvingState<V>> for ProvingState<V>
[src]
fn eq(&self, other: &ProvingState<V>) -> bool
[src]
fn ne(&self, other: &ProvingState<V>) -> bool
[src]
impl<V: Eq + Hash + Ord> Eq for ProvingState<V>
[src]
impl<V: Debug + Eq + Hash + Ord> Debug for ProvingState<V>
[src]
Auto Trait Implementations
impl<V> Sync for ProvingState<V> where
V: Sync,
V: Sync,
impl<V> Send for ProvingState<V> where
V: Send,
V: Send,
impl<V> Unpin for ProvingState<V> where
V: Unpin,
V: Unpin,
impl<V> RefUnwindSafe for ProvingState<V> where
V: RefUnwindSafe,
V: RefUnwindSafe,
impl<V> UnwindSafe for ProvingState<V> where
V: UnwindSafe,
V: UnwindSafe,
Blanket Implementations
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Same<T> for T
[src]
type Output = T
Should always be Self