Struct concorde::Opinion

pub struct Opinion<ObjLD: LatticeDef, Peer: Ord + Clone + Debug + Hash> where
    ObjLD::T: Clone + Debug + Default,  {
    pub estimated_commit: StateLE<ObjLD, Peer>,
    pub proposed_configs: ArcOrdSet<CfgLE<Peer>>,
    pub candidate_object: LatticeElt<ObjLD>,
}

Participants store, exchange and update Opinions 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: Ord + Clone + Debug + Hash> Opinion<ObjLD, Peer> where
    ObjLD::T: Clone + Debug + Default, 

pub fn same_estimated_commit_config(&self, other: &Self) -> bool

pub fn same_estimated_and_proposed_configs(&self, other: &Self) -> bool

Trait Implementations

impl<ObjLD: LatticeDef, Peer: Ord + Clone + Debug + Hash> Clone for Opinion<ObjLD, Peer> where
    ObjLD::T: Clone + Debug + Default, 

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<ObjLD: Debug + LatticeDef, Peer: Debug + Ord + Clone + Hash> Debug for Opinion<ObjLD, Peer> where
    ObjLD::T: Clone + Debug + Default, 

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

Formats the value using the given formatter.

impl<ObjLD: LatticeDef, Peer: Ord + Clone + Debug + Hash> Default for Opinion<ObjLD, Peer> where
    ObjLD::T: Clone + Debug + Default, 

fn default() -> Self

Returns the "default value" for a type.

impl<ObjLD: LatticeDef, Peer: Ord + Clone + Debug + Hash> Eq for Opinion<ObjLD, Peer> where
    ObjLD::T: Clone + Debug + Default + Eq, 

impl<ObjLD: LatticeDef, Peer: Ord + Clone + Debug + Hash> Hash for Opinion<ObjLD, Peer> where
    ObjLD::T: Clone + Debug + Default + Hash, 

fn hash<H: Hasher>(&self, hstate: &mut H)

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given [Hasher].

impl<ObjLD: LatticeDef, Peer: Ord + Clone + Debug + Hash> Ord for Opinion<ObjLD, Peer> where
    ObjLD::T: Clone + Debug + Default + Ord, 

fn cmp(&self, other: &Self) -> Ordering

This method returns an [Ordering] between self and other.

#[must_use]fn max(self, other: Self) -> Self

Compares and returns the maximum of two values.

#[must_use]fn min(self, other: Self) -> Self

Compares and returns the minimum of two values.

#[must_use]fn clamp(self, min: Self, max: Self) -> Self

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

Restrict a value to a certain interval.

impl<ObjLD: LatticeDef, Peer: Ord + Clone + Debug + Hash> PartialEq<Opinion<ObjLD, Peer>> for Opinion<ObjLD, Peer> where
    ObjLD::T: Clone + Debug + Default + Eq, 

fn eq(&self, other: &Self) -> bool

This method tests for self and other values to be equal, and is used by ==.

#[must_use]fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<ObjLD: LatticeDef, Peer: Ord + Clone + Debug + Hash> PartialOrd<Opinion<ObjLD, Peer>> for Opinion<ObjLD, Peer> where
    ObjLD::T: Clone + Debug + Default + Eq, 

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

#[must_use]fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

#[must_use]fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

#[must_use]fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

#[must_use]fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.