[−][src]Struct concorde::Opinion
Participant
s store, exchange and update Opinion
s about the values in the
Cfg and Obj lattices as they attempt to come to an agreement.
The term Opinion
does not appear in the paper, but I've introduced it
(along with the field names in it) in an attempt to clarify the
presentation and bundle-together the 3 variables that are used as a group
in both local state and message bodies.
Fields
estimated_commit: StateLE<ObjLD, Peer>
called vₚ in the paper
proposed_configs: ArcOrdSet<CfgLE<Peer>>
called Tₚ in the paper
candidate_object: LatticeElt<ObjLD>
called objₚ in the paper
Implementations
impl<ObjLD: LatticeDef, Peer: DefTraits> Opinion<ObjLD, Peer>
[src]
pub fn same_estimated_commit_config(&self, other: &Self) -> bool
[src]
pub fn same_estimated_and_proposed_configs(&self, other: &Self) -> bool
[src]
Trait Implementations
impl<ObjLD: Clone + LatticeDef, Peer: Clone + DefTraits> Clone for Opinion<ObjLD, Peer>
[src]
pub fn clone(&self) -> Opinion<ObjLD, Peer>
[src]
pub fn clone_from(&mut self, source: &Self)
1.0.0[src]
impl<ObjLD: Debug + LatticeDef, Peer: Debug + DefTraits> Debug for Opinion<ObjLD, Peer>
[src]
impl<ObjLD: Default + LatticeDef, Peer: Default + DefTraits> Default for Opinion<ObjLD, Peer>
[src]
impl<'de, ObjLD: LatticeDef, Peer: DefTraits> Deserialize<'de> for Opinion<ObjLD, Peer>
[src]
pub fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
__D: Deserializer<'de>,
[src]
__D: Deserializer<'de>,
impl<ObjLD: Eq + LatticeDef, Peer: Eq + DefTraits> Eq for Opinion<ObjLD, Peer>
[src]
impl<ObjLD: Hash + LatticeDef, Peer: Hash + DefTraits> Hash for Opinion<ObjLD, Peer>
[src]
pub fn hash<__H: Hasher>(&self, state: &mut __H)
[src]
pub fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,
1.3.0[src]
H: Hasher,
impl<ObjLD: LatticeDef, Peer: DefTraits> Ord for Opinion<ObjLD, Peer> where
ObjLD::T: Ord,
[src]
ObjLD::T: Ord,
pub fn cmp(&self, other: &Self) -> Ordering
[src]
#[must_use]pub fn max(self, other: Self) -> Self
1.21.0[src]
#[must_use]pub fn min(self, other: Self) -> Self
1.21.0[src]
#[must_use]pub fn clamp(self, min: Self, max: Self) -> Self
1.50.0[src]
impl<ObjLD: PartialEq + LatticeDef, Peer: PartialEq + DefTraits> PartialEq<Opinion<ObjLD, Peer>> for Opinion<ObjLD, Peer>
[src]
pub fn eq(&self, other: &Opinion<ObjLD, Peer>) -> bool
[src]
pub fn ne(&self, other: &Opinion<ObjLD, Peer>) -> bool
[src]
impl<ObjLD: PartialOrd + LatticeDef, Peer: PartialOrd + DefTraits> PartialOrd<Opinion<ObjLD, Peer>> for Opinion<ObjLD, Peer>
[src]
pub fn partial_cmp(&self, other: &Opinion<ObjLD, Peer>) -> Option<Ordering>
[src]
pub fn lt(&self, other: &Opinion<ObjLD, Peer>) -> bool
[src]
pub fn le(&self, other: &Opinion<ObjLD, Peer>) -> bool
[src]
pub fn gt(&self, other: &Opinion<ObjLD, Peer>) -> bool
[src]
pub fn ge(&self, other: &Opinion<ObjLD, Peer>) -> bool
[src]
impl<ObjLD: LatticeDef, Peer: DefTraits> Serialize for Opinion<ObjLD, Peer>
[src]
pub fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error> where
__S: Serializer,
[src]
__S: Serializer,
impl<ObjLD: LatticeDef, Peer: DefTraits> StructuralEq for Opinion<ObjLD, Peer>
[src]
impl<ObjLD: LatticeDef, Peer: DefTraits> StructuralPartialEq for Opinion<ObjLD, Peer>
[src]
Auto Trait Implementations
impl<ObjLD, Peer> RefUnwindSafe for Opinion<ObjLD, Peer> where
Peer: RefUnwindSafe,
<ObjLD as LatticeDef>::T: RefUnwindSafe,
[src]
Peer: RefUnwindSafe,
<ObjLD as LatticeDef>::T: RefUnwindSafe,
impl<ObjLD, Peer> Send for Opinion<ObjLD, Peer> where
Peer: Send + Sync,
<ObjLD as LatticeDef>::T: Send,
[src]
Peer: Send + Sync,
<ObjLD as LatticeDef>::T: Send,
impl<ObjLD, Peer> Sync for Opinion<ObjLD, Peer> where
Peer: Send + Sync,
<ObjLD as LatticeDef>::T: Sync,
[src]
Peer: Send + Sync,
<ObjLD as LatticeDef>::T: Sync,
impl<ObjLD, Peer> Unpin for Opinion<ObjLD, Peer> where
Peer: Unpin,
<ObjLD as LatticeDef>::T: Unpin,
[src]
Peer: Unpin,
<ObjLD as LatticeDef>::T: Unpin,
impl<ObjLD, Peer> UnwindSafe for Opinion<ObjLD, Peer> where
Peer: RefUnwindSafe + UnwindSafe,
<ObjLD as LatticeDef>::T: UnwindSafe,
[src]
Peer: RefUnwindSafe + UnwindSafe,
<ObjLD as LatticeDef>::T: UnwindSafe,
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> DefTraits for T where
T: Clone + Ord + Default + Debug + Hash + DeserializeOwned + Serialize,
[src]
T: Clone + Ord + Default + Debug + Hash + DeserializeOwned + Serialize,
impl<T> DeserializeOwned for T where
T: for<'de> Deserialize<'de>,
[src]
T: for<'de> Deserialize<'de>,
impl<T> From<T> for T
[src]
impl<T> Instrument for T
[src]
pub fn instrument(self, span: Span) -> Instrumented<Self>
[src]
pub fn in_current_span(self) -> Instrumented<Self>
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> Same<T> for T
type Output = T
Should always be Self
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T
[src]
pub fn clone_into(&self, target: &mut T)
[src]
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.
pub 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.
pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<T> ValTraits for T where
T: Clone + Eq + Default + Debug + Hash + DeserializeOwned + Serialize,
[src]
T: Clone + Eq + Default + Debug + Hash + DeserializeOwned + Serialize,