Struct timely::progress::frontier::Antichain

pub struct Antichain<T> { /* fields omitted */ }

A set of mutually incomparable elements.

An antichain is a set of partially ordered elements, each of which is incomparable to the others. This antichain implementation allows you to repeatedly introduce elements to the antichain, and which will evict larger elements to maintain the minimal antichain, those incomparable elements no greater than any other element.

Two antichains are equal if the contain the same set of elements, even if in different orders. This can make equality testing quadratic, though linear in the common case that the sequences are identical.

Implementations

impl<T: PartialOrder> Antichain<T>

pub fn insert(&mut self, element: T) -> bool

Updates the Antichain if the element is not greater than or equal to some present element.

Returns true if element is added to the set

Examples

 use timely::progress::frontier::Antichain;

 let mut frontier = Antichain::new();
 assert!(frontier.insert(2));
 assert!(!frontier.insert(3));

pub fn extend<I: IntoIterator<Item = T>>(&mut self, iterator: I) -> bool

Performs a sequence of insertion and return true iff any insertion does.

Examples

 use timely::progress::frontier::Antichain;

 let mut frontier = Antichain::new();
 assert!(frontier.extend(Some(3)));
 assert!(frontier.extend(vec![2, 5]));
 assert!(!frontier.extend(vec![3, 4]));

pub fn less_than(&self, time: &T) -> bool

Returns true if any item in the antichain is strictly less than the argument.

Examples

 use timely::progress::frontier::Antichain;

 let mut frontier = Antichain::from_elem(2);
 assert!(frontier.less_than(&3));
 assert!(!frontier.less_than(&2));
 assert!(!frontier.less_than(&1));

 frontier.clear();
 assert!(!frontier.less_than(&3));

pub fn less_equal(&self, time: &T) -> bool

Returns true if any item in the antichain is less than or equal to the argument.

Examples

 use timely::progress::frontier::Antichain;

 let mut frontier = Antichain::from_elem(2);
 assert!(frontier.less_equal(&3));
 assert!(frontier.less_equal(&2));
 assert!(!frontier.less_equal(&1));

 frontier.clear();
 assert!(!frontier.less_equal(&3));

pub fn dominates(&self, other: &Antichain<T>) -> bool

👎 Deprecated since 0.12.0:

please use PartialOrder::less_equal instead

Returns true if every element of other is greater or equal to some element of self.

impl<T> Antichain<T>

pub fn new() -> Antichain<T>

Creates a new empty Antichain.

Examples

 use timely::progress::frontier::Antichain;

 let mut frontier = Antichain::<u32>::new();

pub fn from_elem(element: T) -> Antichain<T>

Creates a new singleton Antichain.

Examples

 use timely::progress::frontier::Antichain;

 let mut frontier = Antichain::from_elem(2);

pub fn clear(&mut self)

Clears the contents of the antichain.

Examples

 use timely::progress::frontier::Antichain;

 let mut frontier = Antichain::from_elem(2);
 frontier.clear();
 assert!(frontier.elements().is_empty());

pub fn sort(&mut self) where
    T: Ord, 

Sorts the elements so that comparisons between antichains can be made.

pub fn elements(&self) -> &[T]

Reveals the elements in the antichain.

Examples

 use timely::progress::frontier::Antichain;

 let mut frontier = Antichain::from_elem(2);
 assert_eq!(frontier.elements(), &[2]);

pub fn borrow(&self) -> AntichainRef<'_, T>

Reveals the elements in the antichain.

Examples

 use timely::progress::frontier::Antichain;

 let mut frontier = Antichain::from_elem(2);
 assert_eq!(&*frontier.borrow(), &[2]);

Trait Implementations

impl<T> Abomonation for Antichain<T> where
    Vec<T>: Abomonation,
    T: Abomonation, 

unsafe fn entomb<W: Write>(&self, _write: &mut W) -> Result<()>

Write any additional information about &self beyond its binary representation.

fn extent(&self) -> usize

Reports the number of further bytes required to entomb self.

unsafe fn exhume<'a, 'b>(
    &'a mut self,
    bytes: &'b mut [u8]
) -> Option<&'b mut [u8]>

Recover any information for &mut self not evident from its binary representation.

impl<T: Clone> Clone for Antichain<T>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for Antichain<T>

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

Formats the value using the given formatter.

impl<T: Default> Default for Antichain<T>

fn default() -> Antichain<T>

Returns the “default value” for a type.

impl<'de, T> Deserialize<'de> for Antichain<T> where
    T: Deserialize<'de>, 

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
    __D: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.

impl<T: Eq> Eq for Antichain<T>

impl<T: PartialOrder> From<Vec<T, Global>> for Antichain<T>

fn from(vec: Vec<T>) -> Self

Performs the conversion.

impl<T: PartialEq> PartialEq<Antichain<T>> for Antichain<T>

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

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

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

This method tests for !=.

impl<T: PartialOrder> PartialOrder for Antichain<T>

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

Returns true iff one element is less than or equal to the other.

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

Returns true iff one element is strictly less than the other.

impl<T> Serialize for Antichain<T> where
    T: Serialize, 

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error> where
    __S: Serializer, 

Serialize this value into the given Serde serializer.