Struct IndependentNode 

pub struct IndependentNode<K, T, S>
where
    K: Hash + Copy + Eq + Ord,
    T: IndependentContents,
    S: BuildHasher + Default + Clone,
{
    pub id: K,
    pub from: IndexSet<K, S>,
    pub to: IndexSet<K, S>,
    pub active: bool,
    pub bookmarked: bool,
    pub contents: T,
}

A Node in a IndependentWeave document.

Fields

id: K

The node’s unique identifier.

from: IndexSet<K, S>

The identifiers corresponding to the node’s parents.

to: IndexSet<K, S>

The identifiers corresponding to the node’s children.

active: bool

If the node should be considered active.

Unlike DependentWeave, IndependentWeave considers all nodes within an active path to be active.

bookmarked: bool

If the node is bookmarked.

contents: T

The node’s contents.

Trait Implementations

impl<K, T, M, S> ActionableWeave<K, IndependentNode<K, T, S>, T, M, S> for IndependentWeave<K, T, M, S>

where K: Hash + Copy + Eq + Ord, T: IndependentContents + DiscreteContents, S: BuildHasher + Default + Clone,

fn apply(&mut self, action: WeaveAction<K, IndependentNode<K, T, S>, T, M>)

Applies a WeaveAction to a Weave.

impl<K, T, M, S> ActivePathWeave<K, IndependentNode<K, T, S>, T> for IndependentWeave<K, T, M, S>

where K: Hash + Copy + Eq + Ord, T: IndependentContents, S: BuildHasher + Default + Clone,

fn set_active_path(&mut self, active: impl Iterator<Item = K>)

Contracts

Post-condition: old(self.nodes.keys().copied().collect::<HashSet<_>>()) == self.nodes.keys().copied().collect ::< HashSet < _ >> ()

Post-condition: old(self.roots.clone()) == self.roots

Post-condition: old(self.bookmarked.clone()) == self.bookmarked

Invariant: self.validate()

type Active = HashSet<K, S>

Identifiers of active nodes.

fn active(&self) -> &Self::Active

Returns a reference to the identifiers of active nodes.

impl<K, T, S> Archive for IndependentNode<K, T, S>

where K: Hash + Copy + Eq + Ord + Archive, T: IndependentContents + Archive, S: BuildHasher + Default + Clone, IndexSet<K, S>: Archive, bool: Archive,

type Archived = ArchivedIndependentNode<K, T, S>

The archived representation of this type.

type Resolver = IndependentNodeResolver<K, T, S>

The resolver for this type. It must contain all the additional information from serializing needed to make the archived type from the normal type.

fn resolve(&self, resolver: Self::Resolver, out: Place<Self::Archived>)

Creates the archived version of this value at the given position and writes it to the given output.

const COPY_OPTIMIZATION: CopyOptimization<Self> = _

An optimization flag that allows the bytes of this type to be copied directly to a writer instead of calling serialize.

impl<K, T, M, S> BookmarkableWeave<K, IndependentNode<K, T, S>, T> for IndependentWeave<K, T, M, S>

where K: Hash + Copy + Eq + Ord, T: IndependentContents, S: BuildHasher + Default + Clone,

fn set_node_bookmarked_status(&mut self, id: &K, value: bool) -> bool

Contracts

Post-condition: ! ret || value == self.bookmarked.contains(id)

Post-condition: ret || old(self.bookmarked.clone()) == self.bookmarked

Post-condition: ret == self.nodes.contains_key(id)

Post-condition: old(self.nodes.keys().copied().collect::<HashSet<_>>()) == self.nodes.keys().copied().collect ::< HashSet < _ >> ()

Post-condition: old(self.roots.clone()) == self.roots

Post-condition: old(self.active.clone()) == self.active

Invariant: self.validate()

type Bookmarks = IndexSet<K, S>

Identifiers of bookmarked nodes.

fn bookmarks(&self) -> &Self::Bookmarks

Returns a reference to the identifiers of bookmarked nodes.

fn contains_bookmark(&self, id: &K) -> bool

Returns true if the Weave contains a bookmarked node with the specified identifier.

impl<K, T, S> Clone for IndependentNode<K, T, S>

where K: Hash + Copy + Eq + Ord + Clone, T: IndependentContents + Clone, S: BuildHasher + Default + Clone + Clone,

fn clone(&self) -> IndependentNode<K, T, S>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<K, T, S> Debug for IndependentNode<K, T, S>

where K: Hash + Copy + Eq + Ord + Debug, T: IndependentContents + Debug, S: BuildHasher + Default + Clone + Debug,

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

Formats the value using the given formatter.

impl<K, T, M, S> DeduplicatableWeave<K, IndependentNode<K, T, S>, T> for IndependentWeave<K, T, M, S>

where K: Hash + Copy + Eq + Ord, T: IndependentContents + DeduplicatableContents, S: BuildHasher + Default + Clone,

fn find_duplicates(&self, id: &K) -> impl Iterator<Item = K>

An iterator over the specified node’s sibling identifiers which contain contents which are duplicates of the specified node’s contents.

impl<K, T, S> Default for IndependentNode<K, T, S>

where K: Hash + Copy + Eq + Ord + Default, T: IndependentContents + Default, S: BuildHasher + Default + Clone + Default,

fn default() -> IndependentNode<K, T, S>

Returns the “default value” for a type.

impl<__D: Fallible + ?Sized, K, T, S> Deserialize<IndependentNode<K, T, S>, __D> for Archived<IndependentNode<K, T, S>>

where K: Hash + Copy + Eq + Ord + Archive, T: IndependentContents + Archive, S: BuildHasher + Default + Clone, <K as Archive>::Archived: Deserialize<K, __D>, IndexSet<K, S>: Archive, <IndexSet<K, S> as Archive>::Archived: Deserialize<IndexSet<K, S>, __D>, bool: Archive, <bool as Archive>::Archived: Deserialize<bool, __D>, <T as Archive>::Archived: Deserialize<T, __D>,

fn deserialize( &self, deserializer: &mut __D, ) -> Result<IndependentNode<K, T, S>, <__D as Fallible>::Error>

Deserializes using the given deserializer

impl<K, T, M, S> DiscreteWeave<K, IndependentNode<K, T, S>, T> for IndependentWeave<K, T, M, S>

where K: Hash + Copy + Eq + Ord, T: IndependentContents + DiscreteContents, S: BuildHasher + Default + Clone,

fn split_node(&mut self, id: &K, at: usize, new_id: K) -> bool

Contracts

Post-condition: ! ret || old(self.nodes.len()) + 1 == self.nodes.len()

Post-condition: ! ret || self.nodes.contains_key(id)

Post-condition: ! ret || self.nodes.contains_key(&new_id)

Post-condition: ! ret || old(!self.nodes.contains_key(&new_id))

Post-condition: ! ret || self.nodes [id].to.contains(&new_id) && self.nodes [id].to.len() == 1

Post-condition: ! ret || self.nodes [&new_id].from.contains(id) && self.nodes [&new_id].from.len() == 1

Post-condition: ! ret || old(self.nodes.get(id).map(|n| n.to.clone())).unwrap() == self.nodes [&new_id].to

Post-condition: ret || old(self.nodes.keys().copied().collect::<HashSet<_>>()) == self.nodes.keys().copied().collect ::< HashSet < _ >> ()

Post-condition: ret || old(self.active.clone()) == self.active

Post-condition: old(self.roots.clone()) == self.roots

Post-condition: old(self.bookmarked.clone()) == self.bookmarked

Invariant: self.validate()

fn merge_with_parent(&mut self, id: &K) -> Option<K>

Contracts

Post-condition: ret.is_none() || old(self.nodes.len()) - 1 == self.nodes.len()

Post-condition: ret.is_none() || ! self.nodes.contains_key(id)

Post-condition: ret.is_none() || old(self.nodes.contains_key(id))

Post-condition: ret.is_none() || ! old(self.contains_active(id)) || old(self.contains_active(id)) && self.contains_active(&ret.unwrap())

Post-condition: ret.is_none() || old(self.nodes.get(id).and_then(|n| n.from.first()).and_then(|p| self.nodes.get(p)).map(|p| p.active)).unwrap() == self.nodes [&ret.unwrap()].active

Post-condition: ret.is_none() || old(self.nodes.get(id).and_then(|n| n.from.first()).and_then(|p| self.nodes.get(p)).map(|p| p.from.clone())).unwrap() == self.nodes [&ret.unwrap()].from

Post-condition: ret.is_none() || old(self.nodes.get(id).map(|node| node.to.clone())).unwrap() == self.nodes [&ret.unwrap()].to

Post-condition: ret.is_none() || old(self.nodes.get(id).map(|node| node.from.len() == 1)).unwrap()

Post-condition: ret.is_none() || ret.unwrap() == old(self.nodes.get(id).and_then(|node| node.from.first().copied())).unwrap()

Post-condition: ret.is_some() || old(self.nodes.keys().copied().collect::<HashSet<_>>()) == self.nodes.keys().copied().collect ::< HashSet < _ >> ()

Post-condition: ret.is_some() || old(self.active.clone()) == self.active

Post-condition: ret.is_some() || old(self.bookmarked.clone()) == self.bookmarked

Post-condition: old(self.roots.clone()) == self.roots

Invariant: self.validate()

impl<K, T, S> Eq for IndependentNode<K, T, S>

where K: Hash + Copy + Eq + Ord, T: IndependentContents + Eq, S: BuildHasher + Default + Clone,

impl<K, T, S> From<DependentNode<K, T, S>> for IndependentNode<K, T, S>

where K: Hash + Copy + Eq + Ord, T: IndependentContents, S: BuildHasher + Default + Clone,

fn from(value: DependentNode<K, T, S>) -> Self

Converts to this type from the input type.

impl<K, T, M, S> IndependentWeave<K, IndependentNode<K, T, S>, T> for IndependentWeave<K, T, M, S>

where K: Hash + Copy + Eq + Ord, T: IndependentContents, S: BuildHasher + Default + Clone,

fn move_node(&mut self, id: &K, new_parents: &[K]) -> bool

Contracts

Post-condition: ! ret || self.nodes [id].from.iter().copied().collect ::< HashSet < _ >> () == new_parents.iter().copied().collect ::< HashSet < _ >> ()

Post-condition: ret || old(self.nodes().get(id).map(|node| node.from.clone())).as_ref() == self.nodes().get(id).map(|node| &node.from)

Post-condition: ret || old(self.roots.clone()) == self.roots

Post-condition: ret || old(self.active.clone()) == self.active

Post-condition: old(self.nodes().get(id).map(|node| node.to.clone())).as_ref() == self.nodes().get(id).map(|node| &node.to)

Post-condition: old(self.nodes.keys().copied().collect::<HashSet<_>>()) == self.nodes.keys().copied().collect ::< HashSet < _ >> ()

Post-condition: old(self.bookmarked.clone()) == self.bookmarked

Post-condition: old(self.active.contains(id)) == self.active.contains(id)

Invariant: self.validate()

impl<K, T, M, S> MetadataWeave<K, IndependentNode<K, T, S>, T, M> for IndependentWeave<K, T, M, S>

where K: Hash + Copy + Eq + Ord, T: IndependentContents, S: BuildHasher + Default + Clone,

fn metadata_mut<O>(&mut self, callback: impl FnOnce(&mut M) -> O) -> O

Contracts

Post-condition: old(self.nodes.keys().copied().collect::<HashSet<_>>()) == self.nodes.keys().copied().collect ::< HashSet < _ >> ()

Post-condition: old(self.roots.clone()) == self.roots

Post-condition: old(self.active.clone()) == self.active

Post-condition: old(self.bookmarked.clone()) == self.bookmarked

Invariant: self.validate()

fn metadata(&self) -> &M

Returns a reference to the Weave’s associated metadata.

impl<K, T, S> Node<K, T> for IndependentNode<K, T, S>

where K: Hash + Copy + Eq + Ord, T: IndependentContents, S: BuildHasher + Default + Clone,

type From = IndexSet<K, S>

Identifiers corresponding to the node’s parents.

type To = IndexSet<K, S>

Identifiers corresponding to the node’s children.

fn id(&self) -> K

Returns the node’s unique identifier.

fn from(&self) -> &Self::From

Returns a reference to the identifiers corresponding to the node’s parents.

fn to(&self) -> &Self::To

Returns a reference to the identifiers corresponding to the node’s children.

fn is_active(&self) -> bool

Returns true if the node is considered active.

fn contents(&self) -> &T

Returns a reference to the node’s contents.

impl<K, T, S> PartialEq for IndependentNode<K, T, S>

where K: Hash + Copy + Eq + Ord, T: IndependentContents + PartialEq, S: BuildHasher + Default + Clone,

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

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl<K, T, M, S> SemiIndependentWeave<K, IndependentNode<K, T, S>, T> for IndependentWeave<K, T, M, S>

where K: Hash + Copy + Eq + Ord, T: IndependentContents, S: BuildHasher + Default + Clone,

fn get_contents_mut<O>( &mut self, id: &K, callback: impl FnOnce(&mut T) -> O, ) -> Option<O>

Contracts

Post-condition: ret.is_some() == old(self.nodes.contains_key(id))

Post-condition: old(self.nodes.keys().copied().collect::<HashSet<_>>()) == self.nodes.keys().copied().collect ::< HashSet < _ >> ()

Post-condition: old(self.roots.clone()) == self.roots

Post-condition: old(self.active.clone()) == self.active

Post-condition: old(self.bookmarked.clone()) == self.bookmarked

Invariant: self.validate()

impl<__S: Fallible + ?Sized, K, T, S> Serialize<__S> for IndependentNode<K, T, S>

where K: Hash + Copy + Eq + Ord + Serialize<__S>, T: IndependentContents + Serialize<__S>, S: BuildHasher + Default + Clone, IndexSet<K, S>: Serialize<__S>, bool: Serialize<__S>,

fn serialize( &self, serializer: &mut __S, ) -> Result<<Self as Archive>::Resolver, <__S as Fallible>::Error>

Writes the dependencies for the object and returns a resolver that can create the archived type.

impl<K, T, M, S> SortableBookmarkableWeave<K, IndependentNode<K, T, S>, T> for IndependentWeave<K, T, M, S>

where K: Hash + Copy + Eq + Ord, T: IndependentContents, S: BuildHasher + Default + Clone,

fn sort_bookmarks_by( &mut self, cmp: impl FnMut(&IndependentNode<K, T, S>, &IndependentNode<K, T, S>) -> Ordering, )

Contracts

Post-condition: old(self.nodes.keys().copied().collect::<HashSet<_>>()) == self.nodes.keys().copied().collect ::< HashSet < _ >> ()

Post-condition: old(self.roots.clone()) == self.roots

Post-condition: old(self.active.clone()) == self.active

Post-condition: old(self.bookmarked.clone()) == self.bookmarked

Invariant: self.validate()

fn sort_bookmarks_by_id(&mut self, cmp: impl FnMut(&K, &K) -> Ordering)

Contracts

Post-condition: old(self.nodes.keys().copied().collect::<HashSet<_>>()) == self.nodes.keys().copied().collect ::< HashSet < _ >> ()

Post-condition: old(self.roots.clone()) == self.roots

Post-condition: old(self.active.clone()) == self.active

Post-condition: old(self.bookmarked.clone()) == self.bookmarked

Invariant: self.validate()

impl<K, T, M, S> SortableWeave<K, IndependentNode<K, T, S>, T> for IndependentWeave<K, T, M, S>

where K: Hash + Copy + Eq + Ord, T: IndependentContents, S: BuildHasher + Default + Clone,

fn get_ordered_node_identifiers_mirrored(&mut self, output: &mut Vec<K>)

Contracts

Post-condition: output.len() == self.nodes.len()

Post-condition: valid_topological_sort(&self.nodes, output)

Post-condition: old(self.nodes.keys().copied().collect::<HashSet<_>>()) == self.nodes.keys().copied().collect ::< HashSet < _ >> ()

Post-condition: old(self.roots.clone()) == self.roots

Post-condition: old(self.active.clone()) == self.active

Post-condition: old(self.bookmarked.clone()) == self.bookmarked

Invariant: self.validate()

fn get_ordered_node_identifiers_mirrored_from( &mut self, id: &K, output: &mut Vec<K>, )

Contracts

Post-condition: lacks_duplicates(output)

Post-condition: ! self.nodes.contains_key(id) || output.first() == Some(id)

Post-condition: self.nodes.contains_key(id) || output.is_empty()

Post-condition: old(self.nodes.keys().copied().collect::<HashSet<_>>()) == self.nodes.keys().copied().collect ::< HashSet < _ >> ()

Post-condition: old(self.roots.clone()) == self.roots

Post-condition: old(self.active.clone()) == self.active

Post-condition: old(self.bookmarked.clone()) == self.bookmarked

Invariant: self.validate()

fn sort_node_children_by( &mut self, id: &K, cmp: impl FnMut(&IndependentNode<K, T, S>, &IndependentNode<K, T, S>) -> Ordering, ) -> bool

Contracts

Post-condition: ret == self.nodes.contains_key(id)

Post-condition: old(self.nodes.get(id).map(|n| n.to.clone())) == self.nodes.get(id).map(|n| n.to.clone())

Post-condition: old(self.nodes.keys().copied().collect::<HashSet<_>>()) == self.nodes.keys().copied().collect ::< HashSet < _ >> ()

Post-condition: old(self.roots.clone()) == self.roots

Post-condition: old(self.active.clone()) == self.active

Post-condition: old(self.bookmarked.clone()) == self.bookmarked

Invariant: self.validate()

fn sort_node_children_by_id( &mut self, id: &K, cmp: impl FnMut(&K, &K) -> Ordering, ) -> bool

Contracts

Post-condition: ret == self.nodes.contains_key(id)

Post-condition: old(self.nodes.get(id).map(|n| n.to.clone())) == self.nodes.get(id).map(|n| n.to.clone())

Post-condition: old(self.nodes.keys().copied().collect::<HashSet<_>>()) == self.nodes.keys().copied().collect ::< HashSet < _ >> ()

Post-condition: old(self.roots.clone()) == self.roots

Post-condition: old(self.active.clone()) == self.active

Post-condition: old(self.bookmarked.clone()) == self.bookmarked

Invariant: self.validate()

fn sort_roots_by( &mut self, cmp: impl FnMut(&IndependentNode<K, T, S>, &IndependentNode<K, T, S>) -> Ordering, )

Contracts

Post-condition: old(self.nodes.keys().copied().collect::<HashSet<_>>()) == self.nodes.keys().copied().collect ::< HashSet < _ >> ()

Post-condition: old(self.roots.clone()) == self.roots

Post-condition: old(self.active.clone()) == self.active

Post-condition: old(self.bookmarked.clone()) == self.bookmarked

Invariant: self.validate()

fn sort_roots_by_id(&mut self, cmp: impl FnMut(&K, &K) -> Ordering)

Contracts

Post-condition: old(self.nodes.keys().copied().collect::<HashSet<_>>()) == self.nodes.keys().copied().collect ::< HashSet < _ >> ()

Post-condition: old(self.roots.clone()) == self.roots

Post-condition: old(self.active.clone()) == self.active

Post-condition: old(self.bookmarked.clone()) == self.bookmarked

Invariant: self.validate()

impl<K, T, S> TryFrom<IndependentNode<K, T, S>> for DependentNode<K, T, S>

where K: Hash + Copy + Eq + Ord, T: IndependentContents, S: BuildHasher + Default + Clone,

type Error = IndependentNode<K, T, S>

The type returned in the event of a conversion error.

fn try_from(value: IndependentNode<K, T, S>) -> Result<Self, Self::Error>

Performs the conversion.

impl<K, T, M, S> Weave<K, IndependentNode<K, T, S>, T> for IndependentWeave<K, T, M, S>

where K: Hash + Copy + Eq + Ord, T: IndependentContents, S: BuildHasher + Default + Clone,

fn get_ordered_node_identifiers(&mut self, output: &mut Vec<K>)

Contracts

Post-condition: output.len() == self.nodes.len()

Post-condition: valid_topological_sort(&self.nodes, output)

Post-condition: old(self.nodes.keys().copied().collect::<HashSet<_>>()) == self.nodes.keys().copied().collect ::< HashSet < _ >> ()

Post-condition: old(self.roots.clone()) == self.roots

Post-condition: old(self.active.clone()) == self.active

Post-condition: old(self.bookmarked.clone()) == self.bookmarked

Invariant: self.validate()

fn get_ordered_node_identifiers_from(&mut self, id: &K, output: &mut Vec<K>)

Contracts

Post-condition: lacks_duplicates(output)

Post-condition: ! self.nodes.contains_key(id) || output.first() == Some(id)

Post-condition: self.nodes.contains_key(id) || output.is_empty()

Post-condition: old(self.nodes.keys().copied().collect::<HashSet<_>>()) == self.nodes.keys().copied().collect ::< HashSet < _ >> ()

Post-condition: old(self.roots.clone()) == self.roots

Post-condition: old(self.active.clone()) == self.active

Post-condition: old(self.bookmarked.clone()) == self.bookmarked

Invariant: self.validate()

fn get_active_path(&mut self, output: &mut Vec<K>)

Contracts

Post-condition: output.len() == self.active.len()

Post-condition: output.iter().all(|i| self.active.contains(i))

Post-condition: lacks_duplicates(output)

Post-condition: valid_path(&self.nodes, output)

Post-condition: old(self.nodes.keys().copied().collect::<HashSet<_>>()) == self.nodes.keys().copied().collect ::< HashSet < _ >> ()

Post-condition: old(self.roots.clone()) == self.roots

Post-condition: old(self.active.clone()) == self.active

Post-condition: old(self.bookmarked.clone()) == self.bookmarked

Invariant: self.validate()

fn get_path_from(&mut self, id: &K, output: &mut Vec<K>)

Contracts

Post-condition: ! self.nodes.contains_key(id) || output.first() == Some(id)

Post-condition: self.nodes.contains_key(id) || output.is_empty()

Post-condition: lacks_duplicates(output)

Post-condition: valid_path(&self.nodes, output)

Post-condition: old(self.nodes.keys().copied().collect::<HashSet<_>>()) == self.nodes.keys().copied().collect ::< HashSet < _ >> ()

Post-condition: old(self.roots.clone()) == self.roots

Post-condition: old(self.active.clone()) == self.active

Post-condition: old(self.bookmarked.clone()) == self.bookmarked

Invariant: self.validate()

fn add_node(&mut self, node: IndependentNode<K, T, S>) -> bool

Contracts

Post-condition: ! ret || old(self.nodes.len()) + 1 == self.nodes.len()

Post-condition: ! ret || old(!self.nodes.contains_key(&node.id))

Post-condition: ! ret || self.nodes.contains_key(&old(node.id))

Post-condition: ! ret || old(node.active) == self.active.contains(&old(node.id)) || (!old(node.active) && self.active.contains(&old(node.id)) && old(node.to.iter().any(|c| self.active.contains(c))))

Post-condition: ! ret || old(node.bookmarked) == self.bookmarked.contains(&old(node.id))

Post-condition: ! ret || old(!node.from.is_empty()) || self.roots.contains(&old(node.id))

Post-condition: ret || old(self.nodes.keys().copied().collect::<HashSet<_>>()) == self.nodes.keys().copied().collect ::< HashSet < _ >> ()

Post-condition: ret || old(self.roots.clone()) == self.roots

Post-condition: ret || old(self.active.clone()) == self.active

Post-condition: ret || old(self.bookmarked.clone()) == self.bookmarked

Invariant: self.validate()

fn set_node_active_status(&mut self, id: &K, value: bool) -> bool

Contracts

Post-condition: ! ret || value == self.contains_active(id)

Post-condition: ret || old(self.active.clone()) == self.active

Post-condition: ret == self.nodes.contains_key(id)

Post-condition: old(self.nodes.keys().copied().collect::<HashSet<_>>()) == self.nodes.keys().copied().collect ::< HashSet < _ >> ()

Post-condition: old(self.roots.clone()) == self.roots

Post-condition: old(self.bookmarked.clone()) == self.bookmarked

Invariant: self.validate()

fn remove_node(&mut self, id: &K) -> Option<IndependentNode<K, T, S>>

Contracts

Post-condition: ! self.nodes.contains_key(id)

Post-condition: ret.is_some() == old(self.nodes.contains_key(id))

Post-condition: ret.as_ref().is_none_or(|node| &node.id == id)

Post-condition: ret.is_none() || old(self.nodes.len()) > self.nodes.len()

Post-condition: ret.is_none() || old(self.active.len()) >= self.active.len()

Post-condition: ret.is_none() || old(self.bookmarked.len()) >= self.bookmarked.len()

Post-condition: ret.is_some() || old(self.nodes.keys().copied().collect::<HashSet<_>>()) == self.nodes.keys().copied().collect ::< HashSet < _ >> ()

Post-condition: ret.is_some() || old(self.roots.clone()) == self.roots

Post-condition: ret.is_some() || old(self.active.clone()) == self.active

Post-condition: ret.is_some() || old(self.bookmarked.clone()) == self.bookmarked

Invariant: self.validate()

fn remove_node_tracked( &mut self, id: &K, on_removal: impl FnMut(IndependentNode<K, T, S>), ) -> bool

Contracts

Post-condition: ! self.nodes.contains_key(id)

Post-condition: ret == old(self.nodes.contains_key(id))

Post-condition: ! ret || old(self.nodes.len()) > self.nodes.len()

Post-condition: ! ret || old(self.active.len()) >= self.active.len()

Post-condition: ! ret || old(self.bookmarked.len()) >= self.bookmarked.len()

Post-condition: ret || old(self.nodes.keys().copied().collect::<HashSet<_>>()) == self.nodes.keys().copied().collect ::< HashSet < _ >> ()

Post-condition: ret || old(self.roots.clone()) == self.roots

Post-condition: ret || old(self.active.clone()) == self.active

Post-condition: ret || old(self.bookmarked.clone()) == self.bookmarked

Invariant: self.validate()

fn remove_all_nodes(&mut self)

Contracts

Post-condition: self.nodes.is_empty()

Post-condition: self.validate()

type Nodes = HashMap<K, IndependentNode<K, T, S>, S>

Mapping between identifiers and nodes.

type Roots = IndexSet<K, S>

Identifiers of root nodes (nodes which do not have any parents).

fn len(&self) -> usize

Returns the number of nodes stored within the Weave.

fn is_empty(&self) -> bool

Returns true if the Weave does not contain any nodes.

fn nodes(&self) -> &Self::Nodes

Returns a reference to the identifier:node mapping.

fn roots(&self) -> &Self::Roots

Returns a reference to the identifiers of root nodes (nodes which do not have any parents).

fn contains(&self, id: &K) -> bool

Returns true if the Weave contains a node with the specified identifier.

fn contains_active(&self, id: &K) -> bool

Returns true if the Weave contains an active node (node.is_active() == true) with the specified identifier.

fn get_node(&self, id: &K) -> Option<&IndependentNode<K, T, S>>

Returns a reference to the node corresponding to the identifier.