Struct orset::ORSet

pub struct ORSet<T: Eq + Hash> {
    pub name: String,
    // some fields omitted
}

A state based Observe-Remove Set with delta mutation

Fields

name: String

Methods

impl<T: Eq + Hash + Clone> ORSet<T>

fn new(name: String) -> ORSet<T>

Create a new instance of an ORSet

fn seen(&self, element: &T) -> Option<Vec<Dot>>

Return any observed dots for a given element or None if the element has not been seen

fn add(&mut self, element: T) -> Delta<T>

Add an element to an ORSet

This method creates a new dot for the element and puts it in the add set. It returns the delta mutator representing the add.

fn remove(&mut self, element: T, seen: Vec<Dot>) -> Delta<T>

Remove an element from an ORSet by passing in the element and it's observed dots

This method returns a delta mutator representing the remove operation.

Invariant: seen can never be empty

fn join_state(&mut self, from: ORSet<T>) -> bool

Merge another ORSet into this ORSet

Returns true if the state was mutated, false otherwise

fn join(&mut self, delta: Delta<T>) -> bool

Merge a delta into an ORSet

Returns true if the state was mutated, false otherwise

fn contains(&self, element: &T) -> bool

Check if an ORSet contains an element

fn elements(&self) -> Vec<T>

Return the elements in an ORSet

Trait Implementations

impl<T: Debug + Eq + Hash> Debug for ORSet<T>

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

Formats the value using the given formatter.

impl<T: Clone + Eq + Hash> Clone for ORSet<T>

fn clone(&self) -> ORSet<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Eq + Eq + Hash> Eq for ORSet<T>

impl<T: PartialEq + Eq + Hash> PartialEq for ORSet<T>

fn eq(&self, __arg_0: &ORSet<T>) -> bool

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

fn ne(&self, __arg_0: &ORSet<T>) -> bool

This method tests for !=.