Struct Closure 

pub struct Closure { /* private fields */ }

The ancestor and descendant sets of every node.

Implementations

impl Closure

pub fn compute(is_a: &Csr) -> Result<Self, ClosureError>

Computes the closure of is_a, whose edges point from child to parent.

Errors

Returns ClosureError::Cycle when the edges are not acyclic.

pub fn from_parts( ancestors: Vec<RoaringBitmap>, descendants: Vec<RoaringBitmap>, ) -> Self

Reassembles a closure from its two bitmap lists.

pub fn size_in_bytes(&self) -> usize

The heap bytes the two bitmap lists hold (crate::footprint).

pub fn ancestors_size_in_bytes(&self) -> usize

The heap bytes the ancestor sets alone hold.

Subsumption reads the ancestors and an expansion reads the descendants, so the two halves are reported apart.

pub fn nodes(&self) -> u32

The number of nodes.

pub fn ancestors(&self, node: Ordinal) -> &RoaringBitmap

The proper ancestors of node (ECL >); empty for an unknown node.

pub fn descendants(&self, node: Ordinal) -> &RoaringBitmap

The proper descendants of node (ECL <); empty for an unknown node.

pub fn descendants_or_self(&self, node: Ordinal) -> RoaringBitmap

node and its descendants (ECL <<).

pub fn ancestors_or_self(&self, node: Ordinal) -> RoaringBitmap

node and its ancestors (ECL >>).

pub fn is_ancestor(&self, ancestor: Ordinal, node: Ordinal) -> bool

Whether ancestor is a proper ancestor of node.

pub fn ancestor_sets(&self) -> &[RoaringBitmap]

The ancestor bitmaps, in ordinal order.

pub fn descendant_sets(&self) -> &[RoaringBitmap]

The descendant bitmaps, in ordinal order.

Trait Implementations

impl Clone for Closure

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Closure

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

Formats the value using the given formatter.

impl Eq for Closure

impl PartialEq for Closure

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Closure